Pages that link to "Item:Q4835538"
From MaRDI portal
The following pages link to Principal Typing in a ∀Λ-Discipline (Q4835538):
Displaying 12 items.
- Principal type schemes for an extended type theory (Q790801) (← links)
- A characterization of F-complete type assignments (Q1089331) (← links)
- Principal type scheme and unification for intersection type discipline (Q1110311) (← links)
- Types with intersection: An introduction (Q1201298) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Generalized filter models (Q1575259) (← links)
- Principal types and unification for simple intersection type systems (Q1900315) (← links)
- Principal type-schemes and condensed detachment (Q3489979) (← links)
- Intersection, Universally Quantified, and Reference Types (Q3644750) (← links)
- PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS (Q3988840) (← links)
- The complexity of principal inhabitation (Q5111311) (← links)
- Characterization of the principal type of normal forms in an intersection type system (Q6567783) (← links)