On Double Categories and Multiplicative Linear Logic (1999)

Cached

Download Links

by Paul-André Melliès , Preuves Programmes Systemes
Citations:1 - 0 self