Podcasts Technology Iowa Type Theory Commute Intersection types using Curry-style typing

Intersection types using Curry-style typing

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

b'

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

'