Results 261 to 270 of about 14,639 (283)

The lambda-context calculus (extended version)

Information and Computation, 2009
Murdoch J Gabbay
exaly  

A Filter Model for Concurrent $\lambda$-Calculus

SIAM Journal on Computing, 1998
Ugo de'Liguoro
exaly  

Lambda‐Calculus Models and Extensionality

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

Confluence Results for a Quantum Lambda Calculus with Measurements

Electronic Notes in Theoretical Computer Science, 2011
Ugo Dal Lago, Margherita Zorzi
exaly  

Lambda-Calculus

2009
DEZANI, Mariangiola, Roger Hindley
openaire   +1 more source

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

Lambda calculus with patterns

Theoretical Computer Science, 2008
Vincent van Oostrom
exaly