Parsing mell proof nets (1997)

by Stefano Guerrini , Andrea Masini
Venue:In TLCA
Citations:8 - 3 self