Between logic and quantic: a tract (2004)

by J-Y Girard
Venue:Mathematical Structures in Computer Science