@Article{Laurent05b,
  author  = {Olivier Laurent},
  title   = {Classical isomorphisms of types},
  journal = {Mathematical Structures in Computer Science},
  volume  = {15},
  number  = {5},
  pages   = {969--1004},
  month   = oct,
  year    = {2005}
}