A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus

DOI10.1007/11812289_7zbMath1188.68278OpenAlexW82579298MaRDI QIDQ5756760

Claudio Sacerdoti Coen, Serge Autexier

Publication date: 5 September 2007

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

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Combinatory logic and lambda calculus (03B40)

Related Items

Declarative representation of proof terms, A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$, Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors