Equations

swMATH28614MaRDI QIDQ40328FDOQ40328

Author name not available (Why is that?)

Cited In (6)

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

This page was built for software: Equations