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

by J-Y Girard
Venue:Advances in Linear Logic