cosmo2005

Roberto Di Cosmo. A short survey of isomorphisms of types. Mathematical Structures in Computer Science, 15(5):825-838, 2005.

Keyword

[ Rectype ]

Contact

Roberto Di Cosmo

BibTex Reference

@article{cosmo2005,
   Author = {Cosmo, Roberto Di},
   Title = {A short survey of isomorphisms of types},
   Journal = {Mathematical Structures in Computer Science},
   Volume = {15},
   Number = {5},
   Pages = {825--838},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)