1914 search results - page 1 / 383 » Abstract lambda-Calculus Machines |
99
Voted
LICS
2012
IEEE
13 years 20 days ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
CEFP
2007
Springer
15 years 4 months ago
2007
Springer
122
Voted
APLAS
2001
ACM
15 years 1 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...
179
Voted
POPL
2009
ACM
15 years 11 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
100
Voted
RTA
2010
Springer
15 years 2 months ago
2010
Springer
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...