Pages that link to "Item:Q882122"

The following pages link to A completeness result for a realisability semantics for an intersection type system (Q882122):

Displaying 2 items.

• A completeness result for the simply typed \(\lambda \mu \)-calculus (Q732057) (← links)
• Nominal essential intersection types (Q1643145) (← links)