Results 251 to 260 of about 31,361 (278)
Some of the next articles are maybe not open access.
An essay in \(\lambda\)-calculus
2004Summary: 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
Topological incompleteness and order incompleteness of the lambda calculus
ACM Transactions on Computational Logic, 2003Antonino Salibra
exaly
Two linearities for quantum computing in the lambda calculus
BioSystems, 2019Alejandro Díaz-Caro
exaly
The lambda-context calculus (extended version)
Information and Computation, 2009Murdoch J Gabbay
exaly
A Filter Model for Concurrent $\lambda$-Calculus
SIAM Journal on Computing, 1998Ugo de'Liguoro
exaly
Confluence Results for a Quantum Lambda Calculus with Measurements
Electronic Notes in Theoretical Computer Science, 2011Ugo Dal Lago, Margherita Zorzi
exaly