Results 271 to 280 of about 14,639 (283)

The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus

SIAM Journal on Computing, 1976
exaly  

Typed Lambda Calculus

1984
openaire   +1 more source

A call-by-name lambda-calculus machine

Higher-Order and Symbolic Computation, 2007
exaly  

The Lambda Calculus

2009
openaire   +1 more source

Light types for polynomial time computation in lambda calculus

Information and Computation, 2009
exaly  

Classical Lambda Calculus

1984
openaire   +1 more source

Approximate Reduction and Lambda Calculus Models

SIAM Journal on Computing, 1978
exaly  

What is a model of the lambda calculus?

Information and Control, 1982
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