nLab
Bart Jacobs
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
papers
category:
people
Created on October 17, 2010 06:40:25 by
Tim Porter
(95.147.237.180)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
logic
,
type theory
,
coalgebra for an endofunctor
,
stable factorization system
,
categorical model of dependent types
,
effect algebra
,
effect algebra of predicates