On Double Categories and Multiplicative Linear Logic (1999)

Cached

Download Links

by Paul-André Melliès
Citations:1 - 0 self