Revision as of 14:58, 26 March 2025 edit Marc Schroeder (talk \| contribs) Extended confirmed users 2,272 edits mNo edit summary ← Previous edit		Revision as of 15:05, 26 March 2025 edit undo Marc Schroeder (talk \| contribs) Extended confirmed users 2,272 edits m →Further reading Next edit →
Line 552: {{cite conference \| last = Lafont \| first = Yves \| year = 1993 \| title = Introduction to Linear Logic \| book-title = TEMPUS Summer School on Algebraic and Categorical Methods in Computer Science \| ___location = Brno, Czech Republic \| type = Lecture notes}} {{cite book\|last=Miller \|first=Dale \|year=2004 \|chapter=Overview of Linear Logic Programming \|title=Linear Logic in Computer Science \|editor1-last=Ehrhard \|editor2-last=Girard \|editor3-last=Ruet \|editor4-last=Scott \|publisher=Cambridge University Press \|series=London Mathematical Society Lecture Notes \|volume=316 \|url=http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/llp.pdf }}▼ * {{cite web \|title=Introduction to Linear Logic \|last=Lincoln \|first=Patrick\|url=http://www.csl.sri.com/~lincoln/papers/sigact92.ps \|format=Postscript }} ▲* {{cite book\|last=Miller \|first=Dale \|year=2004 \|chapter=Overview of Linear Logic Programming \|title=Linear Logic in Computer Science \|editor1-last=Ehrhard \|editor2-last=Girard \|editor3-last=Ruet \|editor4-last=Scott \|publisher=Cambridge University Press \|series=London Mathematical Society Lecture Notes \|volume=316 \|url=http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/llp.pdf }} * {{cite web \|title=Linear Logic Wiki \|url=http://llwiki.ens-lyon.fr/ }} * {{cite book \|last=Troelstra \|first=A. S. \|year=1992 \|title=Lectures on Linear Logic \|series=CSLI Lecture Notes \|volume=29 \|publisher=Stanford }}

Linear logic: Difference between revisions