Google
  Web people.linear-logic.substructural-logics.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work
People Sites

Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic People
Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic People sites
People.Linear-Logic.Substructural-Logics.Nonstandard-Logics-and-Extensions.Logic-and-Foundations.Math.sciencenter.work
Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic People
Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic People sites
People.Linear-Logic.Substructural-Logics.Nonstandard-Logics-and-Extensions.Logic-and-Foundations.Math.science-sites.work
Abramsky, Samson
Oxford University Computing Laboratory , UK.
www.comlab.ox.ac.uk/people/samson.abramsky/
Asperti, Andrea
University of Bologna , Italy.
www.cs.unibo.it/~asperti/
Benton, Nick
Microsoft Research , USA.
research.microsoft.com/~nick/
Cervesato, Lliano
ITT Industries , Inc. , USA.
theory.stanford.edu/~iliano/
De Paiva, Valeria
Palo Alto Research Center , USA.
www.cs.bham.ac.uk/~vdp/
Delzanno, Giorgio
University of Genova , Italy.
www.disi.unige.it/person/DelzannoG/
Fages, Francois
The National Institute of Research in Computer Science , France.
pauillac.inria.fr/~fages/
Gallier, Jean
University of Pennsylvania , USA.
www.cis.upenn.edu/~jean/
Galmiche, Didier
University of Henri Poincare , France.
www.loria.fr/~galmiche/
Gardner, Philippa
Imperial College , UK.
www.doc.ic.ac.uk/~pg/
Harland, James
RMIT University , Australia.
goanna.cs.rmit.edu.au/~jah/
Hodas, Joseph
Harvey Mudd College , USA.
www.cs.hmc.edu/~hodas/
Honsell, Furio
University of Udine , Italy.
users.dimi.uniud.it/~furio.honsell/
Hyland, Martin
Kings College , UK.
www.dpmms.cam.ac.uk/~martin/
Japaridze, Giorgi
Villanova University , USA.
www.csc.villanova.edu/~japaridz/

Next

Pages::1:2:

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Directory listings are provided by Open Directory and modified by people.linear-logic.substructural-logics.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work


Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 people.linear-logic.substructural-logics.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work