292 search results - page 1 / 59 » A linearization of the Lambda-calculus and consequences |
APLAS
2001
ACM
14 years 2 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
14 years 2 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 11 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
14 years 4 months ago
2005
Springer
LICS
1992
IEEE
14 years 2 months ago
1992
IEEE