Scott's models and illative combinatory logic

DOI10.1305/ndjfl/1093882667zbMath0349.02021OpenAlexW2006942210MaRDI QIDQ1234673

Martin W. Bunder

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882667

zbMATH Keywords

ILLATIVE COMBINATORY LOGICSCOTT's GRAPH MODEL

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Pure type systems with more liberal rules ⋮ BUNDER’S PARADOX