Search for
Home > Science > Math > Logic and Foundations >

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

[ 1 2 3 4 5 6 ]
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek