nLab
Tom Hirschowitz
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
home page
category:
people
Revised on November 22, 2011 19:17:26 by
Tim Porter
(193.48.130.2)
Edit
|
Back in time
(2 revisions)
|
See changes
|
History
| Views:
Print
|
TeX
|
Source
| Linked from:
Contributors
,
relation between type theory and category theory