Full Iso-recursive Types

Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira

There are two well-known formulations of recursive types: iso-recursive and equi-recursive types. Abadi and Fiore [1996] have shown that iso- and equi-recursive types have the same…