CJO - Abstract - A short survey of isomorphisms of types

Cambridge Journals Online

Cambridge Journals Online
Skip to content
Mathematical Structures in Computer Science (2005), 15 : 825-838 Cambridge University Press
Copyright © 2005 Cambridge University Press
doi:10.1017/S0960129505004871 (About doi)
Published online by Cambridge University Press 04 Oct 2005
 
Mathematical Structures in Computer Science (2005), 15:5:825-838 Cambridge University Press
Copyright © 2005 Cambridge University Press
doi:10.1017/S0960129505004871

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)


back to top
Cambridge University Press