[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")