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
)