Results 291 to 297 of about 230,472 (297)

A Lambda Calculus for Quantum Computation

SIAM Journal on Computing, 2004
exaly  

Enlargements of functional algebras for the lambda calculus

Theoretical Computer Science, 1998
Robert Goldblatt
exaly  

Topological incompleteness and order incompleteness of the lambda calculus

ACM Transactions on Computational Logic, 2003
Antonino Salibra
exaly  

Gödelization in the lambda calculus

Information Processing Letters, 2000
exaly  

The Lambda Lambda-Bar calculus

ACM SIGPLAN Notices, 2013
exaly  

A self-applicable partial evaluator for the lambda calculus

ACM Transactions on Programming Languages and Systems, 1992
exaly  

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

History of Analytic Philosophy
exaly