Fast verification of MLL proof nets via IMLL
From MaRDI portal
Publication:5277754
DOI10.1145/1149114.1149116zbMath1367.03112MaRDI QIDQ5277754
No author found.
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1149114.1149116
68Q25: Analysis of algorithms and problem complexity
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Unnamed Item, Correctness of linear logic proof structures is NL-complete, A linear algorithm for MLL proof net correctness and sequentialization, A formal model for a linear time correctness condition of proof nets of multiplicative linear logic