Harold Simmons
4 published titles
Derivatives, nuclei and dimensions on the frame of torsion theories
(Contributor)
1 edition
- ISBN: 0582034485
- Longman Scientific & Technical
- 1988
- Details
Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
(Contributor)
1 edition
- ISBN: 052141413X
- Cambridge University Press
- 1992
- Details
Derivation and computation : taking the Curry-Howard correspondence seriously
1 edition
- ISBN: 0521771730
- Cambridge University Press
- 2000
- Details
An introduction to category theory
1 edition
- ISBN: 9780521283045
- Cambridge University Press
- 2011
- Details
