Types in combinatory logic
From MaRDI portal
Publication:2527821
DOI10.1305/ndjfl/1093957876zbMath0158.24704OpenAlexW1997417106MaRDI QIDQ2527821
Publication date: 1964
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093957876
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, General models, descriptions, and choice in type theory, Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic, Strong reduction and normal form in combinatory logic