Pages that link to "Item:Q4286211"
From MaRDI portal
The following pages link to Principal Type Schemes for the Strict Type Assignment System (Q4286211):
Displaying 13 items.
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- Principal type schemes for an extended type theory (Q790801) (← links)
- A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
- PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS (Q3988840) (← links)
- Approximation and normalization results for typeable term rewriting systems (Q4645802) (← links)
- Principal Type Schemes for Modular Programs (Q5756513) (← links)
- Intersection types for \(\lambda\)-trees (Q5958291) (← links)
- Characterization of the principal type of normal forms in an intersection type system (Q6567783) (← links)