Correctness of multiplicative proof nets is linear (1999)

Cached

Download Links

by Stefano Guerrini
Venue:In LICS
Citations:34 - 3 self