New! Submit a site
whatUseek Directory Site Listings:
Paul Taylor's Home Page - Includes papers on category theory.
Peckhaus, Volker - University of Erlangen-Nürnberg - history of logic.
Pedicini, Marco - Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions.
Pfenning, Frank - Carnegie Mellon University - logic and programming languages, logical frameworks, type theory.
Pitts, Andrew - University of Cambridge - Interested in categorical logic, type theory, seamntics of programming languages and logic in computer science.
Portier, Natacha - ENS Lyon.
Pratt, Vaughan - Stanford University - Interested in linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
Prest, Mike - University of Manchester - Algebra and Model Theory.
Pym, David J. - Queen Mary and Westfield College - semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
Quigley, Peter - Manchester Metropolitan University - Computational Logic, Formal Methods, Formal Specification, Automated Reasoning and Proof Planning.
Rathjen, Michael - University of Leeds - proof theory.
Regnier, Laurent - University of Marseilles - Interested in linear logic, lambda calculus and abstract machine interpretations. Pioneer of the geometry of interaction approach to the semantics of linear logic.
Restall, Greg - Greg Restall's CV: downloadable publications on Philosophical Logic, Metaphysics, Philosophy of Language, Philosophy of Religion and related areas.
Restall, Greg - Greg Restall's CV: downloadable publications on Philosophical Logic, Metaphysics, Philosophy of Language, Philosophy of Religion and related areas.
Robinson, Edmund - Queen Mary and Westfield College - categorical logic and the semantics of programming languages and type theories.
Rubin, Jean E. - Purdue University - set theory, axiom of choice.
Scedrov, Andre - University of Pennsylvania - logic in computer science, linear logic.
Schmidt, Renate - University of Manchester - modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
Scott, Dana - Carnegie Mellon University - model theory, set Theory, foundations of logic and mahematics, symbolic mathematical computation.
Setzer, Anton - Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
|