Pages that link to "Item:Q4389762"
From MaRDI portal
The following pages link to Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ (Q4389762):
Displaying 6 items.
- A completeness result for the simply typed \(\lambda \mu \)-calculus (Q732057) (← links)
- A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
- Complete Types in an Extension of the System <i>AF</i>2 (Q3647204) (← links)
- (Q4525290) (← links)
- Type Decomposition and the Rectangular AFD Property for <i>W</i>*-TRO’s (Q4661753) (← links)
- On dinaturality, typability and \(\beta\eta\)-stable models (Q5111327) (← links)