Mathematical Knowledge Management

DOI10.1007/11618027zbMATH Open1151.68672OpenAlexW2480281325MaRDI QIDQ5898523FDOQ5898523

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

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

Mathematics Subject Classification ID

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

Cited In (4)

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

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)