Some results on combinators in the system TRC

DOI10.2307/2586813zbMath0947.03019arXivmath/9802075OpenAlexW2110448098MaRDI QIDQ4948544

Thomas J. Jech

Publication date: 7 November 2000

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

Full work available at URL: https://arxiv.org/abs/math/9802075

zbMATH Keywords

stratificationNew FoundationscombinatorsHolmes' system TRCuntyped illative combinatory logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Systems of combinatory logic related to Quine's `New Foundations'
• OTTER experiments in a system of combinatory logic
• New Foundations for Mathematical Logic

This page was built for publication: Some results on combinators in the system TRC