Quantifiers in linear logic. In Temi e prospettivi della logica e della filosofia della szienca contemporanee (1987)

by J-Y Girard
Venue:SILFS