Intersection types using Curry-style typing

Published: Feb. 4, 2020, 11 p.m.

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