PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Girard, Jean-Yves"

Author of the publication

copydeleteadd this publication to your clipboard
Set recursion and Πhalf-logic.

, and . Ann. Pure Appl. Logic, 28 (3): 255-286 (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yves Klett

Jean-Noel Grad University of Stuttgart

Jean-Louis Hoslauer University of Stuttgart

Dr. Eric Jean Kervio University of Stuttgart

 

Other publications of authors with the same name

Light Linear Logic.. Inf. Comput., 143 (2): 175-204 (1998)Normal functors, power series and λ-calculus.. Ann. Pure Appl. Logic, 37 (2): 129-177 (1988)Design and implementation of an enterprise grid., , , , , , , , , and 1 other author(s). IBM Systems Journal, 43 (4): 646-664 (2004)Truth, modality and intersubjectivity.. Mathematical Structures in Computer Science, 17 (6): 1153-1167 (2007)Preface., , and . Theor. Comput. Sci., 294 (3): 333 (2003)Conférénce invitée: Négation et dualité en programmation logique.. JFPLC, page 85-. Hermes, (2000)Normativity in Logic.. Epistemology versus Ontology, volume 27 of Logic, Epistemology, and the Unity of Science, Springer, (2012)Light Linear Logic.. LCC, volume 960 of Lecture Notes in Computer Science, page 145-176. Springer, (1994)Semantic Parametricity in Polymorphic Lambda Calculus, , , and . LICS, page 274-279. IEEE Computer Society, (1988)Three lightings of logic (Invited Talk).. CSL, volume 23 of LIPIcs, page 11-23. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2013)