Revision as of 06:21, 20 May 2025 edit Marc Schroeder (talk \| contribs) Extended confirmed users 2,272 edits m →Further reading: } isbn ← Previous edit		Latest revision as of 10:22, 20 May 2025 edit undo Marc Schroeder (talk \| contribs) Extended confirmed users 2,272 edits m →Further reading
Line 541: ==Further reading== * {{cite web \|title=Introduction to Linear Logic \|last=~~Brauner~~Braüner\| first=Torben\|url=http://www.brics.dk/LS/96/6/BRICS-LS-96-6.pdf \|date=December 1996\|publisher=Basic Research in Computer Science (BRICS)\|volume=LS-96/6\|series=BRICS Lecture Series \|access-date=2025-05-20}} * {{cite book \|last1=Di Cosmo \|first1=Roberto \|last2=Danos \|first2=Vincent \|year=1992\|title=The Linear Logic Primer \|url=https://www.dicosmo.org/CourseNotes/LinLog/ }} Line 559: * {{cite book \| last = Troelstra \| first = A. S. \| author-link = Anne Sjerp Troelstra \| year = 1992 \| title = Lectures on Linear Logic \| publisher = CSLI Publications \| ___location = Stanford \| series = CSLI Lecture Notes \| volume = 29 \| isbn = 978-0937073773 }} * {{cite book \|last1=Troelstra \|first1=A. S.\| author1-link = Anne Sjerp Troelstra\|last2=Schwichtenberg \|first2=H. \|author2-link=Helmut Schwichtenberg\|year=2000\|orig-year=1996 \|title=Basic Proof Theory \|series=Cambridge Tracts in Theoretical Computer Science \|volume=43\|___location=Cambridge \|publisher=Cambridge University Press \|~~isbn~~pages=~~0-521-77911-1~~XII, 417\|edition=2nd\|isbn=9780521779111\|doi=10.1017/CBO9781139168717\|oclc=951181823}} * {{cite web \|title=A Taste of Linear Logic \|last=Wadler\| first=Philip\|url=http://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html }}

Linear logic: Difference between revisions