Combinator realizability of a constructive Morse set theory

DOI10.2307/2272635zbMath0306.02023OpenAlexW2044750128MaRDI QIDQ4063417

John Staples

Publication date: 1974

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272635

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971

This page was built for publication: Combinator realizability of a constructive Morse set theory