Constructive set theoretic models of typed combinatory logic
From MaRDI portal
Publication:5287682
DOI10.2307/2275327zbMath0787.03011MaRDI QIDQ5287682
Publication date: 17 August 1993
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275327
constructive set theory; simply typed combinatory logic; extension models; simply typed combinatory models; space of singletons; subalgebras of full function space models
03E70: Nonclassical and second-order set theories
03F65: Other constructive mathematics
03B40: Combinatory logic and lambda calculus
Cites Work