Equations

swMATH28614MaRDI QIDQ40328FDOQ40328

Author name not available (Why is that?)

Cited In (6)

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

This page was built for software: Equations