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
category: people

Last revised on August 6, 2022 at 09:01:31. See the history of this page for a list of all contributions to it.