Paul Taylor works on the foundations of mathematics and computer science.
Introducing (among other things) the notion of categories with display maps (later also “clans”) for categorical semantics of dependent type theory:
On form logic and formal proof theory (typed $\lambda$-calculus, linear logic, coherence spaces, …)
On foundations in constructive mathematics:
On the Dedekind real numbers via abstract Stone duality:
Paul Taylor, Dedekind cuts (2007-2009?)
Andrej Bauer, Paul Taylor, The Dedekind reals in abstract Stone duality, Mathematical Structures in Computer Science 19 4 (2009) 757-838 [doi:10.1017/S0960129509007695]
Last revised on December 13, 2023 at 17:08:35. See the history of this page for a list of all contributions to it.