Search results

* develop [[Template:BibEntry]] for bibliographic citations compatible with [http://en.wikipedia.org/wiki

...of of the full result is given in the PhD thesis of Harold Schellinx<ref>{{BibEntry|bibtype=phdthesis|author=Schellinx, Harold|title=The Noble Art of Linear De

...ard has defined two translations in his linear logic paper<ref name="ll">{{BibEntry|bibtype=journal|author=Girard, Jean-Yves|title=[http://iml.univ-mrs.fr/~gir

...was invented by Girard in the paper ''The system F, 15 years later''<ref>{{BibEntry|bibtype=journal|author=Girard, Jean-Yves|title=The System F of Variable Typ

<ref>{{BibEntry|bibtype=journal|author=Girard, Jean-Yves|title=Light linear logic|journal=I <ref>{{BibEntry|bibtype=journal|author=Lafont, Yves|title=Soft linear logic and polynomial

...ics}}</ref>for a more detailed introduction to category theory. See <ref>{{BibEntry|bibtype=book|author=Melliès, Paul-André|title=Categorical Semantics of Li Introduced in<ref>{{BibEntry|type=journal|author=Benton, Nick|title=A Mixed Linear and Non-Linear Logic:

...of <math>\mathbf{Fin}</math> over the monoid structure of set union: see {{BibEntry|bibtype=journal|author=Marcello P. Fiore|title=Differential Structure in Mo

* {{BibEntry|bibtype=proceedings|author=Pierre-Louis Curien and Guillaume Munch-Maccagno