nLab
Pierre-Louis Curien
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
webpage
Related pages
PPS
category:
people
Created on May 16, 2012 20:06:22 by
Urs Schreiber
(131.174.41.123)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
PPS
,
linearly distributive category
,
relation between type theory and category theory