Pages that link to "Item:Q5958301"
From MaRDI portal
The following pages link to Completeness of type assignment systems with intersection, union, and type quantifiers (Q5958301):
Displaying 7 items.
- Completeness in hybrid type theory (Q484101) (← links)
- A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
- (Q3024843) (← links)
- (Q3199405) (← links)
- Inhabitation in Intersection and Union Type Assignment Systems (Q4286212) (← links)
- Cut Elimination in a Class of Sequent Calculi for Pure Type Systems (Q4924532) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)