nLab Paul Taylor

Selected writings

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

Selected writings

On form logic and formal proof theory (typed λ \lambda -calculus, linear logic, coherence spaces, …)

On foundations in constructive mathematics:

On abstract Stone duality:

  • 15 papers: web

On the Dedekind real numbers via abstract Stone duality:

category: people

Last revised on February 21, 2023 at 10:55:18. See the history of this page for a list of all contributions to it.