Pages that link to "Item:Q5743587"
From MaRDI portal
The following pages link to A Type-Theoretic Approach to Resolution (Q5743587):
Displaying 4 items.
- Logic programming: laxness and saturation (Q1994355) (← links)
- Executable Relational Specifications of Polymorphic Type Systems Using Prolog (Q2798266) (← links)
- Proof Relevant Corecursive Resolution (Q2798268) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
