Results 171 to 176 of about 251 (176)

Nonmodularity Results for Lambda Calculus

Fundamenta Informaticae, 2001
Antonino Salibra
exaly  

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

Lecture Notes in Computer Science, 2005
exaly  

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

Archive for Mathematical Logic, 1998
Henk Barendregt, Barendregt Henk
exaly  

Binary Lambda Calculus and Combinatory Logic

2007
John Tromp
exaly  

Strong normalization of a symmetric lambda calculus for second-order classical logic

Archive for Mathematical Logic, 2002
Yoriyuki Yamagata
exaly  

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

History of Analytic Philosophy
Levis Zerpa
exaly