Revision as of 03:21, 23 March 2021 edit Beland (talk \| contribs) Autopatrolled, Administrators 259,169 edits m convert special characters (via WP:JWB) ← Previous edit		Revision as of 14:11, 31 March 2021 edit undo Dale A Miller (talk \| contribs) 34 edits m →Further reading: Updated the Stanford Encyclopedia of Philosophy entry to point to the most recent version of that article. Next edit →
Line 507: * [http://www.brics.dk/LS/96/6/BRICS-LS-96-6.pdf Introduction to Linear Logic] by Torben Brauner * [http://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html A taste of linear logic] by Philip Wadler * [http://plato.stanford.edu~~/archives/fall2006~~/entries/logic-linear/ Linear Logic] by [https://web.archive.org/web/20060925141642/http://www.pps.jussieu.fr/~dicosmo/index.html.en Roberto Di Cosmo] and [http://www.lix.polytechnique.fr/Labo/Dale.Miller/ Dale Miller]. The Stanford Encyclopedia of Philosophy (Fall 2006 Edition), Edward N. Zalta (ed.). * [http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/llp.pdf Overview of linear logic programming] by [http://www.lix.polytechnique.fr/Labo/Dale.Miller/ Dale Miller]. In ''Linear Logic in Computer Science'', edited by Ehrhard, Girard, Ruet, and Scott. Cambridge University Press. London Mathematical Society Lecture Notes, Volume 316, 2004. * [http://llwiki.ens-lyon.fr/ Linear Logic Wiki]

Linear logic: Difference between revisions