Subnets of Proof-nets in Multiplicative Linear Logic with MIX (1996)

Cached

Download Links

by G. Bellin
Citations:14 - 2 self