Constructive \(\lambda\)-models
From MaRDI portal
Publication:1192622
DOI10.1016/0022-4049(92)90054-JzbMath0779.03004MaRDI QIDQ1192622
Publication date: 27 September 1992
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
18C10: Theories (e.g., algebraic theories), structure, and semantics
03B40: Combinatory logic and lambda calculus
03F99: Proof theory and constructive mathematics
Cites Work