Linear logic: Difference between revisions

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Revision as of 17:21, 2 April 2025 edit Citation bot (talk \| contribs) Bots 5,872,442 edits Altered url. URLs might have been anonymized. Add: archive-date, archive-url, doi. \| Use this bot. Report bugs. \| Suggested by Dominic3203 \| Linked from User:Mathbot/Most_linked_math_articles \| #UCB_webform_linked 1275/1913 ← 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
(One intermediate revision by the same user not shown)
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 557: * {{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 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 \|~~publisher~~ isbn =~~Stanford~~ 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 }}