Sciweavers

292 search results - page 1 / 59
» A linearization of the Lambda-calculus and consequences
Sort
View
APLAS
2001
ACM
14 years 2 months ago
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
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...
Masahito Hasegawa
CSL
2006
Springer
14 years 2 months ago
The Power of Linear Functions
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 ...
Sandra Alves, Maribel Fernández, Már...
ENTCS
2006
153views more  ENTCS 2006»
13 years 11 months ago
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus
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,...
Lars Birkedal, Rasmus Ejlers Møgelberg, Ras...
LICS
1992
IEEE
14 years 2 months ago
Operational aspects of linear lambda calculus
Patrick Lincoln, John C. Mitchell