nLab
Bas Spitters
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

website
category:
people
Revised on March 9, 2014 09:38:19 by
Toby Bartels
(98.23.139.218)
Edit

Back in time
(1 revision)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
set
,
Contributors
,
set theory
,
higher category theory and physics
,
analysis
,
2009 September changes
,
Cauchy real number
,
modal logic
,
constructive Gelfand duality theorem
,
poset of commutative subalgebras
,
quantum logic
,
Bohr topos
,
Riesz representation theorem
,
Coq
,
higher inductive type
,
hset
,
integral
,
certified programming
,
predicative topos
,
modal type theory
,
ordertheoretic structure in quantum mechanics
,
daseinisation
,
constructive analysis
,
completion monad
,
computable analysis
,
exact real computer arithmetic