Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Taylor, Paul
Foundations of mathematics and computation, category theory, abstract stone duality.
http://www.monad.me.uk/
Monad.me.uk ~ Site Info Whois Trace Route RBL Check

Rubin, Jean E.
Purdue University - Set theory, axiom of choice.
http://www.math.purdue.edu/~jer/
Purdue.edu ~ Site Info Whois Trace Route RBL Check

Miller, Dale
INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.
http://www.lix.polytechnique.fr/Labo/Dale.Miller/
Polytechnique.fr ~ Site Info Whois Trace Route RBL Check

Zilber, Boris
University of Oxford - Model theory.
http://people.maths.ox.ac.uk/~zilber/
Ox.ac.uk ~ Site Info Whois Trace Route RBL Check

Wilkie, Alex
Oxford University - Models of arithmetic.
http://people.maths.ox.ac.uk/~wilkie/
Ox.ac.uk ~ Site Info Whois Trace Route RBL Check

Ong, C.-H. Luke
Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
http://www.comlab.ox.ac.uk/people/Luke.Ong/
Ox.ac.uk ~ Site Info Whois Trace Route RBL Check