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, …)

- Jean-Yves Girard (translated and with appendiced by Paul Taylor and Yves Lafont),
*Proofs and Types*, Cambridge University Press (1989) [ISBN:978-0-521-37181-0, webpage, pdf]

On foundations in constructive mathematics:

- 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.