Hostname: page-component-8448b6f56d-mp689 Total loading time: 0 Render date: 2024-04-19T22:44:22.709Z Has data issue: false hasContentIssue false
  • English
  • Français

Implicit exchange in multiplicative proofnets

Published online by Cambridge University Press:  30 March 2001

FRANÇOIS MÉTAYER
FRANÇOIS MÉTAYER
Affiliation:
Équipe PPS, Université Paris 7-CNRS, 2 place Jussieu, Case 7014 F75251 Paris Cedex 05. Email: metayer@logique.jussieu.fr
Get access Rights & Permissions [Opens in a new window]

Abstract

Proofnets may be seen as orientable surfaces with boundary. We investigate how the topology of such nets relates to the number of exchange rules in corresponding proofs.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 11 , Issue 2 , April 2001 , pp. 261 - 272
Copyright
2001 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.)