A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic.

Satoshi Matsuoka

Browse the full LOPSTR paper archive.