292 search results - page 1 / 59 » A linearization of the Lambda-calculus and consequences |
APLAS
2001
ACM
13 years 10 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
CSL
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
ENTCS
2006
13 years 6 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
RTA
2005
Springer
13 years 11 months ago
2005
Springer
LICS
1992
IEEE
13 years 10 months ago
1992
IEEE