Parsing MELL proof nets
From MaRDI portal
Publication:5940925
DOI10.1016/S0304-3975(99)00299-6zbMath0974.68077MaRDI QIDQ5940925
Stefano Guerrini, Andrea Masini
Publication date: 20 August 2001
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q42: Grammars and rewriting systems
Related Items
Correctness of linear logic proof structures is NL-complete, A linear algorithm for MLL proof net correctness and sequentialization, Proof nets, garbage, and computations
Cites Work