Results 261 to 270 of about 31,361 (278)

Lambda‐Calculus Models and Extensionality

Mathematical Logic Quarterly, 1980
Hindley, R., Longo, Giuseppe
openaire   +2 more sources

The differential lambda-calculus

Theoretical Computer Science, 2003
exaly  

A Lambda Calculus for Quantum Computation

SIAM Journal on Computing, 2004
exaly  

A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus

Information and Computation, 1999
Antonino Salibra, Robert Goldblatt
exaly  

Untyped lambda calculus

2014
openaire   +1 more source

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

SIAM Journal on Computing, 1976
exaly  

A call-by-name lambda-calculus machine

Higher-Order and Symbolic Computation, 2007
exaly  

Light types for polynomial time computation in lambda calculus

Information and Computation, 2009
exaly  

Typed Lambda Calculus

1984
openaire   +1 more source

The Lambda Calculus

2009
openaire   +1 more source