Links on Logic

Bibliographies, preprints, and some ways to find people:

• Hypatia
• Hypatia - authors
• http://theory.doc.ic.ac.uk/tfm/papers.html: preprints by author
• HBP: The Hypertext Bibliography Project
• http://iml.univ-mrs.fr/LINEAR/
• http://iml.univ-mrs.fr/LINEAR/thematic.html
• http://iml.univ-mrs.fr/LINEAR/sites.html
• the linear logic home page (very old)
• Bibliography on Linear Logic (Author Index)

People:

• Jean-Yves Girard: http://iml.univ-mrs.fr/~girard/, ftp area, "Titres et travaux" (1997).
• Philip Wadler's home page
• Gordon Plotkin - publications available by ftp
• Samson Abramsky (pubs)
• Valeria de Paiva
• Philip J. Scott
• Philip J. Scott: papers
• Richard A G Seely
• Gavin Bierman (publications)
• Nick Benton
• Eike Ritter
• Yves Lafont
• Aldo Ursini
• Aldo Ursini, 1996?: Semantical Investigations of Linear Logic
• Aldo Ursini, 1998?: lics98
• Anders Kock
• Anders Kock 1998?: Differential Forms as Infinitesimal Cochains
• Abbas Edalat
• Andre Scedrov
• John Baez
• Giovanni Sambin (publications)
• Formal Topology
• Mathematical Logic around the world
• Combinatory Logic
• WoLLIC'98 (abstracts)
• RBJ
• Edward Nelson (bookmarks)
• The Mizar Project
• New Foundations Home Page
• QED Project - Home Page

Parametricity:

• Phil Wadler, 1987: Theorems for free!
• Plotkin/Abadi, 1993: A Logic for Parametric Polymorphism
• Abadi/Cardelli/Curien, 1993: Formal Parametric Polymorphism
• Plotkin/Abadi/Cardelli, 1994?: Subtyping and Parametricity
• Izumi Takeuti, 1998: An Axiomatic System of Parametricity
• Longo/Milsted/Soloviev, 1992: The Genericity Theorem and the Notion of Parametricity in the Polymorphic Lambda-Calculus

Papers on Linear Logic:

• Andre Scedrov, 1990/93: A Brief Guide to Linear Logic
• Andre Scedrov, 1994?: Linear Logic and Computation: a Survey
• Martini/Masini 1996: Experiments in Linear Natural Deduction
• S.P.Jones/Wadler, 1993: Imperative functional programming
• Blute/Panangeden/Seely, 1995?: Fock Space: a Model of Linear Exponential Types
• Patrick Lincoln, 1993?: Linear Logic
• Phil Wadler, 1991: There's no Substitute for Linear Logic
• Phil Wadler 1993: A Taste of Linear Logic
• de Paiva 1992?: A Dialectica Model of the Lambek Calculus (draft)
• The Linear Logical Framework LLF
• Jean-Yves Girard 1995: Geometry of Interaction III: Accomodating the additives
• Jean-Yves Girard 1995: Light Linear Logic
• Jean-Yves Girard 1995: Proof-nets: the parallel syntax for proof-theory
• Jean-Yves Girard 1995: Linear logic: its syntax and semantics
• Jean-Yves Girard 1997?: Coherent Banach Spaces: a Continous denotational semantics
• Jean-Yves Girard 1997?: On denotational completeness
• Jean-Yves Girard
• Jean-Yves Girard: meaning1
• Jean-Yves Girard: meaning2
• Jean-Yves Girard: ftp area (readme)
• Jean-Yves Girard: banach

Other papers:

• Alex Simpson, 1994: The Proof Theory and Semantics of Intuitionistic Modal Logic (thesis)
• Alex Simpson, 1994?: Kripke Semantics for a Logical Framework
• Alechina/de Paiva/Ritter 1998: Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics
• Corrˆa/Haeusler/de Paiva, 199x: A Dialectica Model of State
• Bierman/de Paiva 1995/96: Intuitionistic Necessity Revisited
• de Paiva, 1991: The Dialectica Categories (draft)
• Gordon Plotkin 1983/92: Pisa Notes on Domain Theory
• Maarten Fokkinga 1992: Calculate Categorically!
• Maarten Fokkinga 1992: A Gentle Introdution to Category Theory: the Calculational Approach

Categories:

• Centre de Recherche en Th‚orie des Cat‚gories -- Montr‚al (McGill)
• A posting by Vaughn Pratt on cat-dist@mta.ca
• CMS Summer 1998 Meeting - Abstracts
• McGill University, Math Dept members
• John Baez
• John Baez: {"n-Categories - Sketch of a Definition"} (note)

(home)