Hostname: page-component-74656f9884-npj9w Total loading time: 0 Render date: 2026-11-08T06:55:04.829Z 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
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 11 , Issue 2 , April 2001 , pp. 261 - 272
Copyright
2001 Cambridge University Press