The following pages link to (Q3024819):
Displaying 10 items.
- On strict and simple type extensions (Q1384237) (← links)
- Enumerated types and type extensions for MiniZinc (Q2170216) (← links)
- Pure type systems with explicit substitution (Q2713351) (← links)
- Extensible encoding of type hierarchies (Q3189854) (← links)
- In the Search of a Naive Type Theory (Q3499754) (← links)
- Expansion postponement for normalising pure type systems (Q4236762) (← links)
- (Q4370251) (← links)
- Domain-free pure type systems (Q4762953) (← links)
- (Q4885989) (← links)
- Weak normalization implies strong normalization in a class of non-dependent pure type systems (Q5958619) (← links)
