Solum: From the rules of logic to the logic of rules (2001)

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