Paul Taylor

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

- Jean-Yves Girard's
*Proofs and Types*(translator), 1990, web. *Practical Foundations of Mathematics*, 1999, web.- 15 papers on Abstract Stone Duality, web

category: people

Revised on October 9, 2009 22:53:31
by Toby Bartels
(71.104.230.172)