nLab
Paul Taylor

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

Paul Taylor works on the foundations of mathematics and computer science.

Books and papers

category: people

Revised on October 9, 2009 22:53:31 by Toby Bartels (71.104.230.172)
Edit | Back in time (1 revision) | See changes | History | Views: Print | TeX | Source | Linked from: foundation of mathematics, internal logic, Practical Foundations of Mathematics, Sierpinski space, constructive mathematics, type theory, Cantor's theorem, abstract Stone duality, 2009 August changes, Stone Spaces, display map, Dedekind cut, Dedekind completion, syntactic category, theorem, well-founded coalgebra, categorical model of dependent types, folklore, practical foundation of mathematics