Machine Deduction
From MaRDI portal
Publication:6083700
DOI10.1007/3-540-58085-9_83zbMath1527.68042MaRDI QIDQ6083700
Publication date: 8 December 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
- The system \({\mathcal F}\) of variable types, fifteen years later
- Recursive programming with proofs
- Classical logic, storage operators and second-order lambda-calculus
- Typing and computational properties of lambda expressions
