Equations

MaRDI QIDQ40328swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-642-14052-5_29

Cited in

(13)

• Epigram
• Irdis
• A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols
• ORME
• Ghostbuster
• AmiCo
• A3PAT
• Foundations of dependent interoperability
• Mechanically certifying formula-based Noetherian induction reasoning
• Elaborating dependent (co)pattern matching: no pattern left behind
• FreeSpec
• Eliminating dependent pattern matching without K
• Equations: a dependent pattern-matching compiler

This page was built for software: Equations