Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Harold Simmons | lit.salon

Author

Harold Simmons

5 works

2000–2011 across 4 dated works

No biography is available yet.

Start with

Derivation and computation: taking the Curry-Howard correspondence seriously2000
Proof Theory A Selection of Papers from the Leeds Proof Theory Programme 19902008
With Peter Aczel, Stanley S. Wainer
An introduction to category theory2011
Introduction to Category Theory2011

Books

4 works

Featured (4)Featured (4)All (5)All (5)

Search booksSort books

An introduction to category theory2011
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Derivation and computation: taking the Curry-Howard correspondence seriously2000
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Introduction to Category Theory2011
5 editions
shelves
0
reviews
0
lists
0
quotes
0
Proof Theory A Selection of Papers from the Leeds Proof Theory Programme 19902008
With Peter Aczel, Stanley S. Wainer
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Harold Simmons.

The conversation is still open.

There is no public salon activity to show for Harold Simmons yet.