The following pages link to Typing in pure type systems (Q1260645):
Displaying 6 items.
- Type inference for pure type systems (Q1271309) (← links)
- The expansion postponement in pure type systems (Q1375333) (← links)
- Unified Syntax with Iso-types (Q3179296) (← links)
- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence (Q3540198) (← links)
- Implicit coercions in type systems (Q4647565) (← links)
- Cut Elimination in a Class of Sequent Calculi for Pure Type Systems (Q4924532) (← links)
