134 search results - page 1 / 27 » Semantics of a Typed Algebraic Lambda-Calculus |
CORR
2008
Springer
13 years 11 months ago
2008
Springer
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
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...
ACL
2001
14 years 7 days ago
2001
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...
LICS
2012
IEEE
12 years 1 months 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...