Results 281 to 290 of about 230,472 (297)
Some of the next articles are maybe not open access.
The lambda-context calculus (extended version)
Information and Computation, 2009Murdoch Gabbay
exaly
Confluence Results for a Quantum Lambda Calculus with Measurements
Electronic Notes in Theoretical Computer Science, 2011Ugo Dal Lago +2 more
exaly
Two linearities for quantum computing in the lambda calculus
BioSystems, 2019Gilles Dowek, Alejandro Díaz-Caro
exaly
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus
Information and Computation, 1999Antonino Salibra, Robert Goldblatt
exaly
Self-Quotation in a Typed, Intensional Lambda-Calculus
Electronic Notes in Theoretical Computer Science, 2018Barry Jay
exaly
On the Representation of Semigroups and Other Congruences in the Lambda Calculus
Electronic Notes in Theoretical Computer Science, 2016Rick Statman
exaly