home
>
NF reviews
> C.-H. L. Ong
Google >
C.-H. L. Ong
author : C.-H. L. Ong
Papers/Articles
A linear-time algorithm for verifying MLL proof nets. 2000. In
Millennial Perspectives in Computer Science