People Linear Logic Substructural Logics Nonstandard Logics and Extensions
Home pages of researchers in linear logic
Top: Science: Math: Logic and Foundations: Nonstandard Logics and Extensions: Substructural Logics: Linear Logic
People
- Braüner, Torben - Roskilde University, Denmark.
- Harland, James - RMIT University, Australia.
- Pitts, Andrew - University of Cambridge, UK.
- Dosen, Kosta - University of Belgrade, Yugoslavia.
- Shankar, Natarajan - SRI International, USA.
- Tammet, Tanel - University of Göteborg, Sweden.
- Gallier, Jean - University of Pennsylvania, USA.
- Honsell, Furio - University of Udine, Italy.
- Hodas, Joseph - Harvey Mudd College, USA.
- Danos, Vincent - University of Paris, France.
- Gardner, Philippa - Imperial College, UK.
- Perrier, Guy - University Nancy, France.
- Delzanno, Giorgio - University of Genova, Italy.
- Lincoln, Patrick - SRI International Computer Science Laboratory, USA.
- Abramsky, Samson - Oxford University Computing Laboratory, UK.
- Wadler, Philip - University of Edinburgh, UK.
- Ong, Luke - Oxford University Computing Laboratory, UK.
- Asperti, Andrea - University of Bologna, Italy.
- Miller, Dale - École polytechnique, France.
- Japaridze, Giorgi - Villanova University, USA.
- Winskel, Glynn - University of Cambridge, UK.
- Pfenning, Frank - Carnegie Mellon University, USA.
- Fages, Francois - The National Institute of Research in Computer Science, France.
- Hyland, Martin - Kings College, UK.
- De Paiva, Valeria - Palo Alto Research Center, USA.
- Galmiche, Didier - University of Henri Poincare, France.
- Tamura, Naoyuki - Kobe University, Japan.
- Benton, Nick - Microsoft Research, USA.
- Cervesato, Lliano - ITT Industries, Inc., USA.
MySQL - Cache Direct
