Correctness of Multiplicative Proof Nets is Linear (1999)

Cached

Download Links

by Stefano Guerrini
Venue:In Fourteenth Annual IEEE Symposium on Logic in Computer Science
Citations:18 - 1 self