Paul Taylor works on the foundations of mathematics and computer science.
Introducing (among other things) the notion of categories with diplay maps? (later also “clans”) for categorical semantics of dependent type theory:
On form logic and formal proof theory (typed -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 August 24, 2023 at 10:16:04. See the history of this page for a list of all contributions to it.