<p>Intersection types internalize the idea that a term has two types.  Curry-style typing is generally needed for this to be nontrivial.</p>

Intersection types internalize the idea that a term has two types. Curry-style typing is generally needed for this to be nontrivial.

<p>Intersection types internalize the idea that a term has two types.&nbsp; Curry-style typing is generally needed for this to be nontrivial.</p>

Intersection types using Curry-style typing

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Intersection types using Curry-style typing