Pages that link to "Item:Q5477652"
From MaRDI portal
The following pages link to Theorem Proving in Higher Order Logics (Q5477652):
Displaying 6 items.
- A Purely Definitional Universal Domain (Q3183534) (← links)
- Imperative Functional Programming with Isabelle/HOL (Q3543655) (← links)
- Secure Microkernels, State Monads and Scalable Refinement (Q3543657) (← links)
- First-Class Type Classes (Q3543665) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5915785) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)
