nLab Paul Taylor

Selected writings

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

Selected writings

Introducing (among other things) the notion of categories with display maps (later also “clans”) for categorical semantics of dependent type theory:

  • Paul Taylor, §4.3.2 in: Recursive Domains, Indexed Category Theory and Polymorphism, Cambridge (1983-7) [pdf]

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 arithmetic pretoposes:

On the Dedekind real numbers via abstract Stone duality:

category: people

Last revised on December 13, 2023 at 17:08:35. See the history of this page for a list of all contributions to it.