Pages that link to "Item:Q5747640"
From MaRDI portal
The following pages link to A New Foundation for Nominal Isabelle (Q5747640):
Displayed 7 items.
- A consistent foundation for Isabelle/HOL (Q1739913) (← links)
- A Consistent Foundation for Isabelle/HOL (Q2945636) (← links)
- HOCore in Coq (Q2945640) (← links)
- Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem (Q3100205) (← links)
- Generic Authenticated Data Structures, Formally. (Q5875417) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)
- General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493) (← links)