Results 161 to 170 of about 2,457 (170)

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus

Archive for Mathematical Logic, 1998
Henk Barendregt
exaly  

Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey

Synthese Library, 2019
exaly  

A Lambda Calculus for Quantum Computation

SIAM Journal on Computing, 2004
exaly  

Clones, closed categories, and combinatory logic

Lecture Notes in Computer Science
Philip Saville
exaly  

Call-by-value combinatory logic and the lambda-value calculus

Lecture Notes in Computer Science, 2005
exaly  

The differential lambda-calculus

Theoretical Computer Science, 2003
exaly  

Highlights of the History of the Lambda-Calculus

IEEE Annals of the History of Computing, 1984
exaly  

Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic

Lecture Notes in Mathematics, 1972
exaly  

An Interactive Lambda Calculus Interpreter and Visualization Tool

Communications in Computer and Information Science
exaly  

The Logic, Philosophy, and History of the Lambda-Calculus

History of Analytic Philosophy
exaly