Pages that link to "Item:Q4347376"
From MaRDI portal
The following pages link to Type reconstruction in F<sub>ω</sub> (Q4347376):
Displaying 5 items.
- A typed lambda calculus with intersection types (Q930870) (← links)
- Typability and type checking in System F are equivalent and undecidable (Q1302292) (← links)
- Alpha-conversion and typability (Q1854262) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- (Q3105096) (← links)