Hostname: page-component-84b7d79bbc-g5fl4 Total loading time: 0 Render date: 2024-07-26T00:14:30.133Z Has data issue: false hasContentIssue false
  • English
  • Français

Classical isomorphisms of types

Published online by Cambridge University Press:  04 October 2005

OLIVIER LAURENT
OLIVIER LAURENT
Affiliation:
Preuves Programmes Systèmes, CNRS – Université Paris VII, UMR 7126 – Case 7014, 2, place Jussieu – 75251 Paris Cedex 05 – FRANCE
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 15 , Issue 5 , October 2005 , pp. 969 - 1004
Copyright
2005 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)