9 search results - page 1 / 2 » Operational aspects of linear lambda calculus |
LICS
1992
IEEE
13 years 9 months ago
1992
IEEE
RTA
2005
Springer
13 years 10 months ago
2005
Springer
CONCUR
2010
Springer
13 years 6 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
13 years 11 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
13 years 10 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...