htmlize {Links on Logic} {
[HLIST1 {Bibliographies, preprints, and some ways to find people:}
[L http://hypatia.dcs.qmw.ac.uk/
Hypatia]
[L http://hypatia.dcs.qmw.ac.uk/html/authors.html
Hypatia - authors]
[L http://theory.doc.ic.ac.uk/tfm/papers.html
http://theory.doc.ic.ac.uk/tfm/papers.html: preprints by author]
[L http://theory.lcs.mit.edu/~dmjones/hbp/
HBP: The Hypertext Bibliography Project]
[L http://iml.univ-mrs.fr/LINEAR/]
[L http://iml.univ-mrs.fr/LINEAR/thematic.html]
[L http://iml.univ-mrs.fr/LINEAR/sites.html]
[L http://www.csl.sri.com/linear/sri-csl-ll.html
the linear logic home page (very old)]
[J [L http://theory.stanford.edu/~iliano/linearbib/linearbib.html
Bibliography on Linear Logic]
([L http://theory.stanford.edu/~iliano/linearbib/authors.html
Author Index])]
]
[HLIST1 {People:}
[J Jean-Yves Girard:
[L http://iml.univ-mrs.fr/~girard/],
[L ftp://iml.univ-mrs.fr/pub/girard/ ftp area],
[L ftp://iml.univ-mrs.fr/pub/girard/titres.dvi.Z
[Q1 {"Titres et travaux" (1997)}]].]
[L http://www.cs.bell-labs.com/~wadler/
Philip Wadler's home page]
[L http://www.dcs.ed.ac.uk/home/gdp/publications/
Gordon Plotkin - publications available by ftp]
[J [L http://www.dcs.ed.ac.uk/home/samson/ Samson Abramsky]
([L http://www.dcs.ed.ac.uk/home/samson/ pubs])]
[L http://www.cs.bham.ac.uk/~vdp/
Valeria de Paiva]
[L http://www.csi.uottawa.ca/~phil/
Philip J. Scott]
[L http://www.site.uottawa.ca/~phil/extra/papers/
Philip J. Scott: papers]
[L http://www.math.mcgill.ca/~rags/
Richard A G Seely]
[J [L http://www.cl.cam.ac.uk/users/gmb/ Gavin Bierman]
([L http://www.cl.cam.ac.uk/users/gmb/Publications/ publications])]
[L http://www.cl.cam.ac.uk/users/pnb/
Nick Benton]
[L http://www.cs.bham.ac.uk/~exr/index.html
Eike Ritter]
[L http://iml.univ-mrs.fr/~lafont/
Yves Lafont]
[L http://pcserver.mat.unisi.it/web/Ursini/papers.htm
Aldo Ursini]
[L http://www.mat.unisi.it/web/ursini/sill.dvi
Aldo Ursini, 1996?: Semantical Investigations of Linear Logic]
[L http://www.mat.unisi.it/web/ursini/lics98.dvi
Aldo Ursini, 1998?: lics98]
[L http://www.imf.au.dk/~kock/
Anders Kock]
[L ftp://ftp.imf.au.dk/pub/kock/van99.ps
Anders Kock 1998?: Differential Forms as Infinitesimal Cochains]
[L http://theory.doc.ic.ac.uk/~ae/
Abbas Edalat]
[L http://www.cis.upenn.edu/~scedrov/recent_papers.html
Andre Scedrov]
[L http://math.ucr.edu/home/baez/
John Baez]
[J [L http://www.math.unipd.it/~sambin/index.html Giovanni Sambin]
([L http://www.math.unipd.it/~sambin/GSpublications.html publications])]
[L http://www.math.unipd.it/~logic/research.html
Formal Topology]
[L http://www.uni-bonn.de/logic/world.html
Mathematical Logic around the world]
[L http://www.rbjones.com/rbjpub/logic/cl/index.htm
Combinatory Logic]
[J [L http://www.ime.usp.br/~wollic/index.html WoLLIC'98]
([L http://www.ime.usp.br/~wollic/abstracts.html abstracts])]
[L http://www.rbjones.com/rbjpub/logic/index.htm
RBJ]
[J [L http://www.math.princeton.edu/~nelson/ Edward Nelson]
([L http://www.math.princeton.edu/~nelson/bookmarks.html bookmarks])]
[L http://web.cs.ualberta.ca/~piotr/Mizar/index.html
The Mizar Project]
[L http://math.idbsu.edu/faculty/holmes/nf.html
New Foundations Home Page]
[L http://www.mcs.anl.gov/qed/index.html
QED Project - Home Page]
]
[HLIST1 {Parametricity:}
[L http://cm.bell-labs.com/cm/cs/who/wadler/papers/free/free.dvi.gz
Phil Wadler, 1987: Theorems for free!]
[L http://www.dcs.ed.ac.uk/home/gdp/publications/Par_Poly.ps.Z
Plotkin/Abadi, 1993: A Logic for Parametric Polymorphism]
[L http://research.microsoft.com/Users/luca/Papers/FPP.A4.ps
Abadi/Cardelli/Curien, 1993: Formal Parametric Polymorphism]
[L http://www.dcs.ed.ac.uk/home/gdp/publications/Sub_Par.ps.Z
Plotkin/Abadi/Cardelli, 1994?: Subtyping and Parametricity]
[L http://www.sato.kuis.kyoto-u.ac.jp/~takeuti/art/param.dvi
Izumi Takeuti, 1998: An Axiomatic System of Parametricity]
[L ftp://ftp.ens.fr/pub/dmi/users/longo/ToGenericityTheoremDir/genericity.dvi
Longo/Milsted/Soloviev, 1992: The Genericity Theorem and the Notion of Parametricity in the Polymorphic Lambda-Calculus]
]
[HLIST1 {Papers on Linear Logic:}
[L file://ftp.cis.upenn.edu/pub/papers/scedrov/guide.dvi
Andre Scedrov, 1990/93: A Brief Guide to Linear Logic]
[L file://ftp.cis.upenn.edu/pub/papers/scedrov/mdorf93.dvi
Andre Scedrov, 1994?: Linear Logic and Computation: a Survey]
[L file://ftp.di.unipi.it/pub/Papers/martini/exp-nat-ded.dvi
Martini/Masini 1996: Experiments in Linear Natural Deduction]
[L http://cm.bell-labs.com/cm/cs/who/wadler/papers/imperative/imperative.ps.gz
S.P.Jones/Wadler, 1993: Imperative functional programming]
[L ftp://triples.math.mcgill.ca/pub/rags/fock/fock.ps.Z
Blute/Panangeden/Seely, 1995?: Fock Space: a Model of Linear Exponential Types]
[L file://ftp.csl.sri.com/pub/lincoln/sigact.dvi
Patrick Lincoln, 1993?: Linear Logic]
[L file://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/authors/Philip_Wadler/no-subst-for-linear-logic.dvi
Phil Wadler, 1991: There's no Substitute for Linear Logic]
[L /snarf/file/ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/authors/Philip_Wadler/lineartaste.dvi
Phil Wadler 1993: A Taste of Linear Logic]
[L http://www.cs.bham.ac.uk/~vdp/lambek.ps
de Paiva 1992?: A Dialectica Model of the Lambek Calculus (draft)]
[L http://www-cgi.cs.cmu.edu/afs/cs/user/iliano/www/LLF/index.html
The Linear Logical Framework LLF]
[L file://lmd.univ-mrs.fr/pub/girard/GOI3.dvi.Z
Jean-Yves Girard 1995: Geometry of Interaction III: Accomodating the additives]
[L file://lmd.univ-mrs.fr/pub/girard/LLL.dvi.Z
Jean-Yves Girard 1995: Light Linear Logic]
[L file://lmd.univ-mrs.fr/pub/girard/Proofnets.dvi.Z
Jean-Yves Girard 1995: Proof-nets: the parallel syntax for proof-theory]
[L file://lmd.univ-mrs.fr/pub/girard/Synsem.dvi.Z
Jean-Yves Girard 1995: Linear logic: its syntax and semantics]
[L file://lmd.univ-mrs.fr/pub/girard/banach.dvi.Z
Jean-Yves Girard 1997?: Coherent Banach Spaces: a Continous denotational semantics]
[L file://lmd.univ-mrs.fr/pub/girard/denot.dvi.Z
Jean-Yves Girard 1997?: On denotational completeness]
[L file://lmd.univ-mrs.fr/pub/girard/
Jean-Yves Girard]
[L ftp://iml.univ-mrs.fr/pub/girard/meaning1.ps.gz
Jean-Yves Girard: meaning1]
[L ftp://iml.univ-mrs.fr/pub/girard/meaning2.ps.gz
Jean-Yves Girard: meaning2]
[L ftp://iml.univ-mrs.fr/pub/girard/readme
Jean-Yves Girard: ftp area (readme)]
[L ftp://iml.univ-mrs.fr/pub/girard/banach.ps.gz
Jean-Yves Girard: banach]
]
[HLIST1 {Other papers:}
[L http://hypatia.dcs.qmw.ac.uk/authors/S/SimpsonAK/papers/thesis.dvi
Alex Simpson, 1994: The Proof Theory and Semantics of Intuitionistic Modal Logic (thesis)]
[L http://hypatia.dcs.qmw.ac.uk/authors/S/SimpsonAK/papers/kripke.dvi
Alex Simpson, 1994?: Kripke Semantics for a Logical Framework]
[L http://www.cs.bham.ac.uk/~vdp/aiml.ps
Alechina/de Paiva/Ritter 1998: Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics]
[L http://www.cs.bham.ac.uk/~vdp/dms.ps
Corrˆa/Haeusler/de Paiva, 199x: A Dialectica Model of State]
[L http://www.cs.bham.ac.uk/~vdp/new-inr.dvi
Bierman/de Paiva 1995/96: Intuitionistic Necessity Revisited]
[L http://www.cs.bham.ac.uk/~vdp/thesis.dvi
de Paiva, 1991: The Dialectica Categories (draft)]
[L http://www.dcs.ed.ac.uk/home/gdp/publications/Domains.ps.gz
Gordon Plotkin 1983/92: Pisa Notes on Domain Theory]
[L ftp://ftp.cs.utwente.nl/pub/doc/Parlevink/fokkinga/mmf91j.ps
Maarten Fokkinga 1992: Calculate Categorically!]
[L ftp://ftp.cs.utwente.nl/pub/doc/Parlevink/fokkinga/mmf92b.ps
Maarten Fokkinga 1992: A Gentle Introdution to Category Theory: the Calculational Approach]
]
[HLIST1 {Categories:}
[L http://triples.math.mcgill.ca/
Centre de Recherche en Th‚orie des Cat‚gories -- Montr‚al (McGill)]
[L http://www.disi.unige.it/aila/Notizie/da-cat-list/0045.html
A posting by Vaughn Pratt on cat-dist@mta.ca]
[L http://www.camel.math.ca/CMS/Events/summer98/s98-abs/s98-abs.html
CMS Summer 1998 Meeting - Abstracts]
[L http://www.math.mcgill.ca/dept_members.html
McGill University, Math Dept members]
[L http://math.ucr.edu/home/baez/
John Baez]
[L http://math.ucr.edu/home/baez/ncat.def.html
John Baez: [Q {"n-Categories - Sketch of a Definition"}] (note)]
]
}