A linear algorithm for MLL proof net correctness and sequentialization
Under an Elsevier user license
open archive
Keywords
Multiplicative linear logic
Proof nets
Cited by (0)
- 1
Current address: Laboratoire d’Informatique de Paris-Nord (LIPN, UMR CNRS 7030), Institut Galilée, Université Paris 13 Nord 99, avenue Jean-Baptiste Clément 93430 Villetaneuse, France.
Copyright © 2010 Elsevier B.V. All rights reserved.