J Roger Hindley : Research Mathematical logic; particularly lambdacalculus, Combinatory logic and type-theories, with a current bias towards historical aspects. http://www-maths.swan.ac.uk/staff/jrh/JRHresearch.html
The Mixed Lambda-Calculus And Combinatory Logic (an Overview) The Mixed lambdacalculus and Combinatory logic (an overview). H. Riis Nielson, F. Nielson. Type, Conference paper With referee http://www2.imm.dtu.dk/pubdb/views/publication_details.php?id=1601
JSTOR Introduction To Combinators And $\lambda$-Calculus. lambdacalculus and Combinatory logic (pure and typed) have been rapidly increasing in importance during the last twenty years because of their applications http://links.jstor.org/sici?sici=0022-4812(198809)53:3<985:ITCA>2.0.CO;2-#
EWSCS 2004/EATTK 2004: Sergei Artemov, Abstract The logic of Proofs became both an explicit counterpart of modal logic and a reflexive Combinatory logic (reflexive lambdacalculus) thus providing a http://cs.ioc.ee/yik/schools/win2004/artemov.php
Deff - Search Service - Research Database The twolevel version of the Combinatory logic therefore is a mixed lambda-calculus and Combinatory logic. They extend the mixed lambda-calculus and http://forskningsbasen.deff.dk/ddf/rec.external?id=dtu199779
People Research interests. Mathematical logic; particularly lambdacalculus, Combinatory logic and type-theory. Books published. Combinatory logic Vol. http://www.wolfengagen.mephi.ru/people.htm
Springer Online Reference Works In pure Combinatory logic there is a set of terms built by application from for the whole of logic by a complicated combination of lambdacalculus and http://eom.springer.de/i/i110060.htm
J Logic Computation -- Sign In Page History of lambdacalculus and Combinatory logic. In Gabbay D and Woods J (Eds.). Handbook of the History of logic(Elsevier, Amsterdam) to appear. http://logcom.oxfordjournals.org/cgi/content/full/exm001v1
Lambda-Calculus And Computer Science Theory 1975 Corrado Böhm (Ed.) lambdacalculus and Computer Science Theory, Proceedings of the for identifying two elements of whatever model of Combinatory logic. http://www.informatik.uni-trier.de/~ley/db/conf/lambda/lambda1975.html
Longo Symposium in concerns syntactic and semantic properties of the logical base of functional languages Combinatory logic, lambdacalculus and their extensions. http://www.pps.jussieu.fr/~gc/other/rdp/talks.html
Corrado Böhm Research interests Theory of computing, Constructive Mathematics, Combinatory logic, lambdacalculus, Semantics and Implementation of Functional http://www.dsi.uniroma1.it/~boehm/
Historical... Data Retrieval [EX Re: [PT] Question On ND And Sequents] was already aware of something similar to typed lambdacalculus / Combinatory logic (modulo ``Curry-Howard , so to speak)! only scarce evidence survived http://osdir.com/ml/science.mathematics.prooftheory/2005-06/msg00001.html
John's Combinatory Logic Playground Pictured above you can see on the left the 210 bit binary lambda calculus selfinterpreter, and on the right the 272 bit binary Combinatory logic http://www.cwi.nl/~tromp/cl/cl.html
Combinatory Logic - Wikipedia, The Free Encyclopedia (1972) survey the early history of Combinatory logic. For a more modern parallel treatment of Combinatory logic and the lambda calculus, see Barendregt http://en.wikipedia.org/wiki/Combinatory_logic
ComSci 319, U. Chicago This is the bible for Combinatory logic, including lambda calculus and prooftheoretic applications. It is hard to read, and only fluent mathematicians http://www.classes.cs.uchicago.edu/classes/archive/2000/winter/CS319/
[Some Citations For Lambda Calculus Books From MathSciNet Djr This paper is a short history of the lambda calculus and Combinatory logic by a participant in that history. After a brief introduction to both systems and http://www.math.niu.edu/~rusin/known-math/99/lambdacalc_refs
Equivalences Between Pure Type Systems And Systems Of Illative Systems of illative Combinatory logic or lambda calculus, ICLs, were introduced by Curry and Church as a foundation for logic and mathematics. http://projecteuclid.org/handle/euclid.ndjfl/1117755149
Good Book On Combinatory Logic - Docendi.org typed lambda calculus and intuitionistic logic. We are not dealing with typed lambda calculus here, but with untyped Combinatory logic). http://www.docendi.org/good-t29079.html
DROPS - Document We introduce binary representations of both lambda calculus and Combinatory logic terms, and demonstrate their simplicity by providing very compact http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=628
Good Book On Combinatory Logic - Sci.logic | Google Groups typed lambda calculus and intuitionistic logic. We are not dealing with typed lambda calculus here, but with untyped Combinatory logic). http://groups.google.as/group/sci.logic/msg/2b90e98426e0e501
Research/Lambda Calculus And Type Theory - Foundations The lambda calculus was originally conceived by Church in 1932 as part of a Illative Combinatory logic. In this project we study relations between http://www.fnds.cs.ru.nl/fndswiki/Research/Lambda_calculus_and_Type_Theory
Partial Applicative Theories And Explicit Substitutions  IAM In the literature, they are either presented in the form of partial Combinatory logic or the partial lambda calculus, and sometimes these two approaches are http://www.iam.unibe.ch/publikationen/techreports/1993/iam-93-008
Lambda Calculus | Lambda The Ultimate Pictured you can see the 210 bit binary lambda calculus selfinterpreter, and the 272 bit binary Combinatory logic self-interpreter. http://lambda-the-ultimate.org/taxonomy/term/20
Recent Publications Curry s program , in To H. B. Curry Essays on Combinatory logic, Lambda Calculus and Formalism edited by J. P. Seldin and J. R. Hindley (Academic Press, http://www.cs.uleth.ca/~seldin/publications.shtml
IngentaConnect Combinatory Weak Reduction In Lambda Calculus Combinatory logic claims to do the same work as lambda calculus but with a simpler language and a simpler reduction process. In a sense this claim is true http://www.ingentaconnect.com/content/els/03043975/1998/00000198/00000001/art002
Nour keywords, Combinatory logic, lambdacalculus, Propositional classical logic. abstract, Combinatory logic shows that bound variables can be eliminated http://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAF0107/1653
Constructive Logic And Lambda Calculus The lambda calculus (1); Combinatory logic (2); The fixed point theorem (3A, 3B; some remarks on 3D); Representing the recursive functions (4) http://www.cs.swan.ac.uk/~csetzer/foerelaesning/constrmath/index.html
A FUNCTIONAL APPROACH TO COMPUTING Notes 2000-03-15 S.Whitney J 1980 Seldin Hindley, To H.B.Curry Essays on Combinatory logic, Lambda Calculus and Formalism 1980 Henderson, Functional Programming 1982? http://kx.com/technical/contribs/stephen/talk1.txt
Binary Combinatory Logic - Esolang John s Lambda Calculus and Combinatory logic Playground. Retrieved from http//www.esolangs.org/wiki/Binary_Combinatory_logic http://www.esolangs.org/wiki/Binary_combinatory_logic
Lambda Calculus: Blogs, Photos, Videos And More On Technorati Binary Lambda Calculus and Combinatory logic While Anton was waxing about Church Turing, I figured that Occam s Razor would be the type of proof one would http://technorati.com/tag/Lambda+Calculus
Cdiggins.com » Language Theory This list has been indispensible to me for understanding the relationship between Combinatory logic and the lambda calculus, as well as the relationship http://cdiggins.com/category/language-theory/page/2/
ScienceDirect - Journal Of Applied Logic : Editorial In P. Jonathan Seldin and J. Roger Hindley, Editors, To H.B. Curry Essays on Combinatory logic, Lambda Calculus, and Formalism, Academic Press, http://linkinghub.elsevier.com/retrieve/pii/S1570868304000102
Joy Compared With Other Functional Languages One group comprises the lambda calculus and the programming languages Lisp, ML and Miranda. Another comprises Combinatory logic and the language FP by http://www.latrobe.edu.au/philosophy/phimvt/joy/j08cnt.html
Readings: Theory Of Computation This is one of my fundamental sources on the lambda calculus. I want to pay particular attention to Combinatory logic (CL) and Combinatory algebra (CA). http://miser-theory.info/readings/theory.htm
20th WCP: Dual Identity Combinators To H.B. Curry Essays on Combinatory logic, Lambda Calculus and Formalism, Academic Press, London c., pp. 479490. Meyer, R.K. 1976. http://www.bu.edu/wcp/Papers/Logi/LogiBimb.htm
New Foundations Home Page Thomas Jech has worked on implementing the system of Combinatory logic TRC defined by Randall Holmes in his Ph. D. thesis and a subsequent paper under the http://math.boisestate.edu/~holmes/holmes/nf.html
ML; Scope (15 Points) What Do The Following ML Expressions betaReduction (15 points) Using the beta-rule of the lambda-calculus, evaluate the following Your job is to write an interpreter for Combinatory logic. http://www.cs.indiana.edu/~sabry/teaching/proglang/sp00/midterm
Great Works In Programming Languages In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry Essays on Combinatory logic, Lambda Calculus, and Formalism, pages 479490. http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml
Index We consider the lambdacalculus obtained from the simply-typed calculus by adding products, A Combinatory logic approach to higher-order E-unification. http://web.cs.wpi.edu/~dd/publications/
Nekochan Net ¢ View Topic - Esoteric Languages... Well, lambda calculus and Combinatory logic play indeed an important role in logic itself no CS here yet. But, of course, in CS, they are at the heart http://forums.nekochan.net/viewtopic.php?f=1&t=15561&start=45
Curry (print-only) After giving a very clear exposition of the fundamentals of Combinatory logic, showing its close relationship to the lambda calculus developed by Church, http://www-groups.dcs.st-and.ac.uk/~history/Printonly/Curry.html
Combinatory Logic -- From Wolfram MathWorld conversion or lambda calculus by Church. The system of Combinatory logic is extremely fundamental, in that there are a relatively small finite numbers http://mathworld.wolfram.com/CombinatoryLogic.html
Lambda Calculus History, brief survey, formal theory, fixed point (recursion) theorems, Combinatory logic Combinatory completeness, translations between lambda calculus http://users.comlab.ox.ac.uk/luke.ong/teaching/lambda/
Full Bibliography Normalization by evaluation for typed lambda calculus with coproducts. In logic in Computer . Combinatory logic, Volume II. NorthHolland, Amsterdam. http://tlca.di.unito.it/opltlca/opltlcali1.html
Combinator Module Users' Manual Combinatory logic (CL) is one language of mathematics.1 Like the lambda calculus, one expresses a function by combining a set of terms; unlike the lambda http://www.cotilliongroup.com/man/combinators-man.html
Glossary (n) a function with no free variables; one of the primitive functions on which the variant of lambda calculus known as Combinatory logic is built. http://community.schemewiki.org/?glossary
