author : A. S. Murawski

Short works

• A linear-time algorithm for verifying MLL proof nets. 2000. (In Millennial Perspectives in Computer Science )