Results 101 to 110 of about 13,083 (112)

Enlargements of functional algebras for the lambda calculus

Theoretical Computer Science, 1998
Robert Goldblatt
exaly  

Two-level Lambda-calculus

Electronic Notes in Theoretical Computer Science, 2009
Murdoch J Gabbay, Dominic P Mulligan
exaly  

Lambda calculus with patterns

Theoretical Computer Science, 2008
Vincent van Oostrom
exaly  

Functional runtime systems within the lambda-sigma calculus

Journal of Functional Programming, 1998
Luc Maranget
exaly  

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  

The differential lambda-calculus

Theoretical Computer Science, 2003
exaly  

Full Abstraction in the Lazy Lambda Calculus

Information and Computation, 1993
Samson Abramsky, Luke Ong
exaly  

A Lambda Calculus for Quantum Computation

SIAM Journal on Computing, 2004
exaly  

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

SIAM Journal on Computing, 1976
exaly