Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty.

DI GIANANTONIO, Pietro

2004

conference object

WOS

WOS:000224024900013

Archivio

http://hdl.handle.net/11390/744523

Diritti

closed access