Fast verification of MLL proof nets via IMLL
From MaRDI portal
Publication:5277754
DOI10.1145/1149114.1149116zbMath1367.03112OpenAlexW1983313429MaRDI 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
Analysis of algorithms and problem complexity (68Q25) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (4)
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
This page was built for publication: Fast verification of MLL proof nets via IMLL
