Mathematical Structures in Computer Science



Paper

A short survey of isomorphisms of types


ROBERTO DI COSMO a1
a1 Preuves Programmes Systèmes, CNRS – Université Paris VII, UMR 7126 – Case 7014, 2, place Jussieu – 75251 Paris Cedex 05 – FRANCE http://www.dicosmo.org Email: roberto@dicosmo.org

Article author query
di cosmo r   [Google Scholar] 
 

We were all taught in high school that two objects $A$ and $B$ are isomorphic iff there exist two functions $f$ and $g$ such that

(Published Online October 4 2005)
(Received July 15 2004)
(Revised April 13 2005)