author : C.-H. L. Ong

Short works

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