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 diplay 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 the Dedekind real numbers via abstract Stone duality:

category: people

Last revised on August 24, 2023 at 10:16:04. See the history of this page for a list of all contributions to it.