Pages that link to "Item:Q3460075"
From MaRDI portal
The following pages link to ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter (Q3460075):
Displaying 10 items.
- ELPI (Q40235) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- On the effectiveness of higher-order logic programming in language-oriented programming (Q2039939) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- \texttt{slepice}: towards a verified implementation of type theory in type theory (Q2119108) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading (Q5372007) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
