Author: Patrick Scotto di Luzio

Luzio, Patrick Scotto di (2000): Logical Systems and Formality. In: Anderson, Michael, Cheng, Peter C-H., Haarslev, Volker (eds.) Diagrams 2000 - Theory and Application of Diagrams - First International Conference September 1-3, 2000, Edinburgh, Scotland, UK. pp. 117-131. https://link.springer.de/link/service/series/0558/bibs/1889/18890117.htm