Subnets of Proof-nets in MLL- (1994)

by G. Bellin , J. Van De Wiele
Citations:2 - 0 self