Pages that link to "Item:Q5236551"
From MaRDI portal
The following pages link to Implementing type theory in higher order constraint logic programming (Q5236551):
Displaying 5 items.
- \texttt{slepice}: towards a verified implementation of type theory in type theory (Q2119108) (← links)
- Functions-as-constructors higher-order unification: extended pattern unification (Q2134936) (← links)
- On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999) (Q2726299) (← links)
- (Q3475243) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)