Quantifiers in linear logic II. In Nuovi problemi della logica e della filosofia della scienza. CLUEB (1991)

by J-Y Girard