Jean-Yves Girard Locus Solum: From the Rules of Logic to the Logic of Rules. 38 2001 conf/csl/2001 CSL http://link.springer.de/link/service/series/0558/bibs/2142/21420038.htm db/conf/csl/csl2001.html#Girard01