The following pages link to (Q4376043):
Displaying 5 items.
- Pure type systems with explicit substitution (Q2713351) (← links)
- Domain-free \(\lambda\mu\)-calculus (Q2729625) (← links)
- Typed Tagless Final Interpreters (Q4649380) (← links)
- Domain-free pure type systems (Q4762953) (← links)
- Weak normalization implies strong normalization in a class of non-dependent pure type systems (Q5958619) (← links)