Pages that link to "Item:Q2844696"
From MaRDI portal
The following pages link to Pure type system conversion is always typable (Q2844696):
Displaying 6 items.
- Typing in pure type systems (Q1260645) (← links)
- An adequacy theorem for dependent type theory (Q2311883) (← links)
- Cumulative Inductive Types in Coq (Q4993361) (← links)
- Normalization by Evaluation for Typed Weak lambda-Reduction (Q5091147) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)
- From rewrite rules to axioms in the \(\lambda \varPi \)-calculus modulo theory (Q6629514) (← links)