194 search results - page 1 / 39 » An Introduction to the Lambda Calculus |
189
Voted
Book
"These are the lecture notes accompanying the course Introduction to Functional
Programming, which I taught at Cambridge University in the academic year 1996/1997."
106
Voted
CEFP
2007
Springer
15 years 3 months ago
2007
Springer
LICS
2012
IEEE
12 years 12 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...
115
click to vote
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...
CORR
2008
Springer
14 years 9 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...