Pages that link to "Item:Q4389762"

The following pages link to Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ (Q4389762):

Displayed 4 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)
• (Q5111327) ‎ (← links)