Non abbiamo ancora una biografia di Harold Simmons.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Introduction to Category Theory
2012
Proof Theory
2011
An introduction to category theory
Derivation and computation
2000
Otium
