Patrick Scotto di Luzio. Logical Systems and Formality. In Michael Anderson, Peter Cheng, Volker Haarslev, editors, Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings. Volume 1889 of Lecture Notes in Computer Science, pages 117-131, Springer, 2000. [doi]
Abstract is missing.