Pages that link to "Item:Q1186431"
From MaRDI portal
The following pages link to Filter models with polymorphic types (Q1186431):
Displaying 7 items.
- Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves (Q673628) (← links)
- \(F\)-semantics for type assignment systems (Q1329739) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus (Q1356979) (← links)
- Generalized filter models (Q1575259) (← links)
- Order-incompleteness and finite lambda reduction models (Q1884896) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
