Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary products. In some, canonical cases, the conversion function is uniquely determined solely by the two types involved. In this article we describe and …

read more