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