Non abbiamo ancora una biografia di Patrick Lincoln.
Pubblicato in Inglese
All About Maude - A High-Performance Logical Framework
2007
Computational aspects of linear logic
1995
Otium
