On the Semantic Expressiveness of Iso- and Equi-Recursive Types

Dominique Devriese, Eric Mark Martin, Marco Patrignani

Recursive types extend the simply-typed lambda calculus (STLC) with the additional expressive power to enable diverging computation and to encode recursive data-types (e.g., lists)…