Nominal Inversion Principles

DOI10.1007/978-3-540-71067-7_10zbMath1165.68448OpenAlexW1755600278MaRDI QIDQ3543650

Stefan Berghofer, Christian Urban

Publication date: 4 December 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-71067-7_10

Mathematics Subject Classification ID

Related Items (5)

A canonical locally named representation of binding ⋮ Psi-calculi in Isabelle ⋮ Psi-calculi in Isabelle ⋮ Formal SOS-Proofs for the Lambda-Calculus ⋮ Mechanizing the Metatheory of mini-XQuery

Uses Software

• PoplMark
• Nominal Isabelle

Cites Work

• Nominal logic, a first order theory of names and binding
• Engineering formal metatheory
• Barendregt’s Variable Convention in Rule Inductions
• Automated Deduction – CADE-20
• Theorem Proving in Higher Order Logics

This page was built for publication: Nominal Inversion Principles