Directory of People Resources

Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Substructural Logics > Linear Logic > People

Home pages of researchers in linear logic

Resources in This Category

• Abramsky, Samson

  http://www.comlab.ox.ac.uk/people/samson.abramsky/
  Oxford University Computing Laboratory, UK.

• Asperti, Andrea

  http://www.cs.unibo.it/~asperti/
  University of Bologna, Italy.

• Benton, Nick

  http://research.microsoft.com/~nick/
  Microsoft Research, USA.

• Cervesato, Lliano

  http://theory.stanford.edu/~iliano/
  ITT Industries, Inc., USA.

• De Paiva, Valeria

  http://www.cs.bham.ac.uk/~vdp/
  Palo Alto Research Center, USA.

• Delzanno, Giorgio

  http://www.disi.unige.it/person/DelzannoG/
  University of Genova, Italy.

• Fages, Francois

  http://pauillac.inria.fr/~fages/
  The National Institute of Research in Computer Science, France.

• Gallier, Jean

  http://www.cis.upenn.edu/~jean/
  University of Pennsylvania, USA.

• Galmiche, Didier

  http://www.loria.fr/~galmiche/
  University of Henri Poincare, France.

• Gardner, Philippa

  http://www.doc.ic.ac.uk/~pg/
  Imperial College, UK.

• Harland, James

  http://goanna.cs.rmit.edu.au/~jah/
  RMIT University, Australia.

• Hodas, Joseph

  http://www.cs.hmc.edu/~hodas/
  Harvey Mudd College, USA.

• Honsell, Furio

  http://users.dimi.uniud.it/~furio.honsell/
  University of Udine, Italy.

• Hyland, Martin

  http://www.dpmms.cam.ac.uk/~martin/
  Kings College, UK.

• Japaridze, Giorgi

  http://www.csc.villanova.edu/~japaridz/
  Villanova University, USA.

• Lincoln, Patrick

  http://www.csl.sri.com/users/lincoln/
  SRI International Computer Science Laboratory, USA.

• Ong, Luke

  http://www.comlab.ox.ac.uk/people/Luke.Ong/
  Oxford University Computing Laboratory, UK.

• Perrier, Guy

  http://www.loria.fr/~perrier/
  University Nancy, France.

• Pfenning, Frank

  http://www.cs.cmu.edu/~fp/
  Carnegie Mellon University, USA.

• Pitts, Andrew

  http://www.cl.cam.ac.uk/~amp12/
  University of Cambridge, UK.

• Shankar, Natarajan

  http://www.csl.sri.com/users/shankar/shankar.html
  SRI International, USA.

• Tamura, Naoyuki

  http://bach.istc.kobe-u.ac.jp/tamura.html
  Kobe University, Japan.

• Wadler, Philip

  http://homepages.inf.ed.ac.uk/wadler/
  University of Edinburgh, UK.

• Winskel, Glynn

  http://www.cl.cam.ac.uk/~gw104/
  University of Cambridge, UK.

 

Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Substructural Logics > Linear Logic > People

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us