Results 271 to 278 of about 31,361 (278)

Approximate Reduction and Lambda Calculus Models

SIAM Journal on Computing, 1978
exaly  

A self-applicable partial evaluator for the lambda calculus

ACM Transactions on Programming Languages and Systems, 1992
exaly  

Classical Lambda Calculus

1984
openaire   +1 more source

What is a model of the lambda calculus?

Information and Control, 1982
exaly  

Lambda calculus

2003
openaire   +1 more source

Lambda-calculus schemata

Higher-Order and Symbolic Computation, 1993
exaly  

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

Proceedings of the Koninklijke Nederlandse Akademie Van Wetenschappen Series A, Indagationes Mathematicae, 1972
exaly  

The Lambda Calculus

1998
openaire   +1 more source