A New Foundation for Nominal Isabelle

DOI10.1007/978-3-642-14052-5_5zbMath1291.68350OpenAlexW1544467561MaRDI QIDQ5747640

Brian Huffman, Christian Urban

Publication date: 14 September 2010

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14052-5_5

Mathematics Subject Classification ID

Related Items (7)

A Consistent Foundation for Isabelle/HOL ⋮ HOCore in Coq ⋮ Psi-calculi in Isabelle ⋮ Generic Authenticated Data Structures, Formally. ⋮ A consistent foundation for Isabelle/HOL ⋮ General Bindings and Alpha-Equivalence in Nominal Isabelle ⋮ Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem

Uses Software

• Isabelle
• Isabelle/HOL
• Nominal Isabelle

This page was built for publication: A New Foundation for Nominal Isabelle