nLab
Bas Spitters

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

category: people

Created on October 20, 2010 13:00:07 by Urs Schreiber (87.212.203.135)
Edit | 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, h-set, integral, certified programming, predicative topos, modal type theory