Core Type Theory

DOI10.18778/0138-0680.2023.19MaRDI QIDQ6200463

David Ripley, Unnamed Author, Julian Gutierrez

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

type theorystrong normalizationcore logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Type theory (03B38)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Lectures on the Curry-Howard isomorphism
• A more general general proof theory
• On paradoxes in normal form
• Falsification, natural deduction and bi-intuitionistic logic
• CUT FOR CORE LOGIC
• Ultimate Normal Forms for Parallelized Natural Deductions
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Assumption Classes in Natural Deduction
• On Paradox without Self-Reference
• Core Logic
• The Calculi of Lambda Conversion. (AM-6)
• A new connective in natural deduction, and its application to quantum computing
• On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item