9 search results - page 1 / 2 » Operational aspects of linear lambda calculus |
LICS
1992
IEEE
15 years 1 months ago
1992
IEEE
RTA
2005
Springer
15 years 3 months ago
2005
Springer
88
Voted
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...