Isomorphisms of types in the presence of higher-order references (extended version)

Pierre Clairambault

We investigate the problem of type isomorphisms in the presence of higher-order references. We first introduce a finitary programming language with sum types and higher-order refer…