Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
From MaRDI portal
Publication:3006121
DOI10.1093/logcom/exq017zbMath1234.03007WikidataQ58127028 ScholiaQ58127028MaRDI QIDQ3006121
Edward N. Zalta, Paul Oppenheimer
Publication date: 10 June 2011
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/78ca96f497b8df9fe5f67f4f90413ffca307a41f
functional type theory; type theory; automated theorem proving; foundations of logic; lambda-abstraction; relational type theory; theory of abstract objects
03B35: Mechanization of proofs and logical operations
03B30: Foundations of classical theories (including reverse mathematics)
03B40: Combinatory logic and lambda calculus
Uses Software