Paul Taylor works on the foundations of mathematics and computer science.
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 February 21, 2023 at 10:55:18. See the history of this page for a list of all contributions to it.