Constructive set theoretic models of typed combinatory logic
From MaRDI portal
Publication:5287682
DOI10.2307/2275327zbMath0787.03011OpenAlexW1985303023MaRDI 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 theorysimply typed combinatory logicextension modelssimply typed combinatory modelsspace of singletonssubalgebras of full function space models
Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Combinatory logic and lambda calculus (03B40)
Cites Work
This page was built for publication: Constructive set theoretic models of typed combinatory logic