A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$

DOI10.1007/978-3-642-02614-0_32zbMath1247.68239OpenAlexW2790843922MaRDI QIDQ3637295

Herman Geuvers, James McKinna, Lionel Elie Mamane

Publication date: 9 July 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_32

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$

Uses Software

• Coq
• PVS
• Isar
• Mizar

Cites Work

• Unnamed Item
• Mathematical knowledge management in HELM
• The duality of computation
• A Declarative Language for the Coq Proof Assistant
• A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$
• A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus
• Mathematical Knowledge Management

This page was built for publication: A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$