Equality in 𝔉 with Restricted Subjects

DOI10.1002/MALQ.19780240804zbMath0422.03002OpenAlexW2066421039MaRDI QIDQ3855148

Martin W. Bunder

Publication date: 1978

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19780240804

zbMATH Keywords

consistency for some extensions of illative combinatory logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Equivalences between pure type systems and systems of illative combinatory logic

This page was built for publication: Equality in 𝔉 with Restricted Subjects