397 search results - page 2 / 80 » The lambda calculus is algebraic |
JFP
2002
13 years 9 months ago
2002
CORR
2010
Springer
13 years 9 months ago
2010
Springer
ICFP
1996
ACM
14 years 2 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
APLAS
2001
ACM
14 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...
CADE
2004
Springer
14 years 10 months ago
2004
Springer
Lambda logic is the union of first order logic and lambda calculus. We prove basic metatheorems for both total and partial versions of lambda logic. We use lambda logic to state a...