Mathematical Knowledge Management

DOI10.1007/11618027MaRDI QIDQ5898523zbMATH OpenOpenAlexFDO

Authors Claudio Sacerdoti Coen

Publication date 12 February 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11618027

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Structure of proofs (03F07) Knowledge representation (68T30)

Recommendations

• A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$
• scientific article; zbMATH DE number 1222571
• A completeness result for the simply typed \(\lambda \mu \)-calculus
• Towards a canonical classical natural deduction system
• Towards a Canonical Classical Natural Deduction System

Cited in

(4)

• Declarative representation of proof terms
• Procedural representation of CIC proof terms
• A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$
• Continuation semantics for the Lambek-Grishin calculus

This page was built for publication: Mathematical Knowledge Management

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898523)