The programmatic semantics of binary predicator calculi
From MaRDI portal
Publication:1844224
DOI10.1305/ndjfl/1093891905zbMath0283.02038OpenAlexW2049375073MaRDI QIDQ1844224
Jorge Baralt-Torrijos, William I. Grosky, Lucio Chiaraviglio
Publication date: 1975
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891905
Model theory (03C99) General topics in the theory of software (68N01) Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40) Categoricity and completeness of theories (03C35)
This page was built for publication: The programmatic semantics of binary predicator calculi
