424 search results - page 31 / 85 » A Lambda Calculus with Forms |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The Lambek calculus L provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be...
RTA
2005
Springer
14 years 1 months ago
2005
Springer
We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back a...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
CC
2003
Springer
14 years 23 days ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
CCGRID
2004
IEEE
13 years 11 months ago
2004
IEEE
The notion of lambda-Grids posits plentiful collections of computing and storage resources richly interconnected by dedicated dense wavelength division multiplexing (DWDM) optical...