کتاب های Harold Simmons
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Peter Aczel, Harold Simmons, Stanley S. Wainer, 1993
An Introduction to Category Theory
Harold Simmons, 2011
An introduction to category theory
Harold Simmons, 2011
An Introduction to Category Theory
Harold Simmons, 2011
An introduction to Category Theory [draft]
Harold Simmons, 2010
An Introduction to Category Theory [Solution Manual]
Harold Simmons, 2011
The point-free approach to sheafification [expository notes]
Harold Simmons, 2001
Forms of recursion and induction [expository notes]
Harold Simmons, 2004
The tensor product of commutative monoids [expository notes]
Harold Simmons, 2004
While loops and programs [expository notes]
Harold Simmons, 2003
Domains for recursion [expository notes]
Harold Simmons, 2003
The topos of actions on a monoid [expository notes]
Harold Simmons, 2003
