Pages that link to "Item:Q790801"

The following pages link to Principal type schemes for an extended type theory (Q790801):

Displaying 17 items.

• Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
• Ternary relations and relevant semantics (Q598309) (← links)
• Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
• On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
• The heart of intersection type assignment: Normalisation proofs revisited (Q930869) (← links)
• A type assignment system for game semantics (Q930873) (← links)
• Principal type scheme and unification for intersection type discipline (Q1110311) (← links)
• Complete restrictions of the intersection type discipline (Q1193654) (← links)
• Intersection types for combinatory logic (Q1199823) (← links)
• Types with intersection: An introduction (Q1201298) (← links)
• Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
• Intersection type assignment systems (Q1350344) (← links)
• Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
• Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
• Strong normalization and typability with intersection types (Q1924327) (← links)
• Strongly Normalising Cut-Elimination with Strict Intersection Types (Q2842832) (← links)