The following pages link to (Q3491030):
Displaying 7 items.
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Subformula linking for intuitionistic logic with application to type theory (Q2055855) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- (Q4222859) (← links)
- Optimized encodings of fragments of type theory in first order logic (Q4647585) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
