Classical isomorphisms of types

• Autores: Olivier Laurent
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 15, Nº 5, 2005, págs. 969-1004
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • The study of isomorphisms of types has, in the main, been carried out in an intuitionistic setting. We extend some of this work to classical logic for both call-by-name and call-by-value computations by means of polarised linear logic and game semantics. This leads to equational characterisations of these isomorphisms for all the propositional connectives.