Simmons, Harold.
Simmons, Harold 1942-
Harold Simmons
VIAF ID: 41914264 ( Personal )
Permalink: http://viaf.org/viaf/41914264
Preferred Forms
- 100 0 _ ‡a Harold Simmons
- 200 _ | ‡a Simmons ‡b Harold
- 100 1 _ ‡a Simmons, Harold
-
-
- 100 1 _ ‡a Simmons, Harold
-
- 100 1 _ ‡a Simmons, Harold
-
-
- 100 1 _ ‡a Simmons, Harold ‡d 1942-
- 100 1 _ ‡a Simmons, Harold ‡d 1942-
-
4xx's: Alternate Name Forms (6)
5xx's: Related Names (5)
- 510 2 _ ‡a Cambridge University Press
- 510 2 _ ‡a Leeds Proof Theory Programme (1990 : Leeds University)
- 551 _ _ ‡a Manchester
- 510 2 _ ‡a University
- 510 2 _ ‡a University ‡9 g:Manchester ‡e Affiliation
Works
Title | Sources |
---|---|
Derivation and computation : taking the Curry-Howard correspondence seriously | |
Derivatives, nuclei and dimensions on the frame of torsion theories | |
An introduction to category theory | |
Main steam lines quenching and related distortions. | |
Proof theory a selection of papers from the leeds proof theory programme 1990 |