Pages that link to "Item:Q3523176"
From MaRDI portal
The following pages link to Proof Pearl: De Bruijn Terms Really Do Work (Q3523176):
Displayed 7 items.
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- Alpha equivalence equalities (Q428860) (← links)
- A formalized general theory of syntax with bindings (Q1687739) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483) (← links)
- Mechanised Computability Theory (Q3088013) (← links)
- Hard Life with Weak Binders (Q5170666) (← links)