A linear algorithm for MLL proof net correctness and sequentialization

From MaRDI portal
Publication:534705