Results 251 to 260 of about 14,639 (283)

The | lambda-Calculus.

The Philosophical Review, 1988
Harold Hodes, H. P. Barendregt
openaire   +1 more source

Lambda Calculus

1995
W. S. Anglin, J. Lambek
openaire   +1 more source

Lambda-Calculus Conference

Artificial Intelligence, 1979
openaire   +2 more sources

Strict intersection types for the Lambda Calculus

ACM Computing Surveys, 2011
Steffen van Bakel
exaly  

An essay in \(\lambda\)-calculus

2004
Summary: This paper aims at presenting \(\lambda\)-calculus and at suggesting how and why its abstractions can be fruitfully used as a tool for representing entities populating the economic realm and how to conceive of a language which is well suited to capturing some basic facts and features pertaining to complex organizational dynamics. I present and
openaire   +2 more sources

On the algebraic models of lambda calculus

Theoretical Computer Science, 2000
Antonino Salibra
exaly  

Lambda Calculus

1993
openaire   +1 more source

Two linearities for quantum computing in the lambda calculus

BioSystems, 2019
Alejandro Díaz-Caro
exaly  

Topological incompleteness and order incompleteness of the lambda calculus

ACM Transactions on Computational Logic, 2003
Antonino Salibra
exaly  

Lambda Calculus

2005
openaire   +1 more source