"Locus Solum: From the Rules of Logic to the Logic of Rules."

Jean-Yves Girard (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics