Locus solum: From the rules of logic to the logic of rules (0)

by Jean-Yves Girard
Venue:Mathematical Structures in Computer Science