Constructive \(\lambda\)-models

DOI10.1016/0022-4049(92)90054-JzbMath0779.03004MaRDI QIDQ1192622

A. Knobel

Publication date: 27 September 1992

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Combinatory logic and lambda calculus (03B40) Proof theory and constructive mathematics (03F99)

Cites Work

• Sheaf models for set theory
• Constructivism in mathematics. An introduction. Volume I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructive \(\lambda\)-models