[Prev][Next][Index][Thread]
Some Proof Net References
Date: Thu, 14 Nov 91 12:01:13 -0800
To: linear@cs.Stanford.EDU
Several people have asked for references to the work on
Proof Nets mentioned in recent notes. Here are some of
the relevant papers.
Patrick Lincoln
-------------------------------------------------------
@article(
LL,Author="Girard, J.-Y.",
Title="Linear Logic",
Journal="Theoretical Computer Science",
Volume="50",
Year="1987",
pages="1-102")
@book(
ProofsTypes,Author="Girard, J.-Y. and Y. Lafont and P. Taylor",
Title="Proofs and Types",
Publisher="Cambrige Tracts in Theoretical Computer Science,
Cambridge University Press",
Year="1989")
@phdthesis(
Bellin90,Author="G. Bellin",
title = "Mechanizing Proof Theory:
Resource-Aware Logics and
Proof-Transformations to Extract Implicit Information",
school="Stanford University",
year="1990")
@article(
DanosRegnier89,Author="Danos, V. and L. Regnier",
Title="The Structure of Multiplicatives",
Journal="Archive for Mathematical Logic",
Volume="28",
Year="1989",
pages="181-203")
@inproceedings(
Lafont90,Author="Lafont, Y.",
Title="Interaction Nets",
Booktitle="Proc. 17-th {ACM} Symp. on Principles of
Programming Languages, San Francisco",
Month="January",
Year="1990",
pages="95-108")