Jean-Yves Girard - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2017

Transcendental syntax I: deterministic caseJean-Yves Girard. mscs, 27(5):827-849, 2017. [doi]

2013

Three lightings of logic (Invited Talk)Jean-Yves Girard. csl 2013: 11-23 [doi]

2012

Normativity in LogicJean-Yves Girard. In Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm, editors, Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Volume 27 of Logic, Epistemology, and the Unity of Science, pages 243-263, Springer, 2012. [doi]

2011

Geometry of Interaction V: Logic in the hyperfinite factorJean-Yves Girard. TCS, 412(20):1860-1883, 2011. [doi]

2007

Truth, modality and intersubjectivityJean-Yves Girard. mscs, 17(6):1153-1167, 2007. [doi]

2003

From foundations to ludicsJean-Yves Girard. bsl, 9(2):131-168, 2003. [doi]

PrefaceJean-Yves Girard, Mitsuhiro Okada, Andre Scedrov. TCS, 294(3):333, 2003.

2001

Locus Solum: From the rules of logic to the logic of rulesJean-Yves Girard. mscs, 11(3):301-506, 2001.

Locus Solum: From the Rules of Logic to the Logic of RulesJean-Yves Girard. csl 2001: 38 [doi]

2000

Conférénce invitée: Négation et dualité en programmation logiqueJean-Yves Girard. jfplc 2000: 85

1999

On Denotational CompletenessJean-Yves Girard. TCS, 227(1-2):249-273, 1999. [doi]

Coherent Banach Spaces: A Continuous Denotational SemanticsJean-Yves Girard. TCS, 227(1-2):275-297, 1999. [doi]

1998

Light Linear LogicJean-Yves Girard. iandc, 143(2):175-204, 1998.

1996

Coherent Banach Spaces: a continuous denotational semanticsJean-Yves Girard. ENTCS, 3:81-87, 1996. [doi]

On denotational completenessJean-Yves Girard. ENTCS, 3:75-80, 1996. [doi]

PrefaceJean-Yves Girard, Mitsuhiro Okada, Andre Scedrov. ENTCS, 3:1, 1996. [doi]

1994

Light Linear LogicJean-Yves Girard. lcc 1995: 145-176

Geometry of Interaction (Abstract)Jean-Yves Girard. concur 1994: 1

1993

On the Unity of LogicJean-Yves Girard. APAL, 59(3):201-217, 1993.

1992

Embeddability of PTYKESJean-Yves Girard, Dag Normann. JSYML, 57(2):659-676, 1992.

Logic and Exceptions: A Few RemarksJean-Yves Girard. logcom, 2(2):111-118, 1992.

Bounded Linear Logic: A Modular Approach to Polynomial-Time ComputabilityJean-Yves Girard, Andre Scedrov, Philip J. Scott. TCS, 97(1):1-66, 1992.

1991

A New Constructive Logic: Classical LogicJean-Yves Girard. mscs, 1(3):255-296, 1991.

1990

Some Uses of Dilators in Combinatorial Problems, IIV. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele. JSYML, 55(1):32-40, 1990.

1988

Semantic Parametricity in Polymorphic Lambda CalculusPeter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott. lics 1988: 274-279

Geometry of interaction 2: deadlock-free algorithmsJean-Yves Girard. jic 1990: 76-93

Normal functors, power series and λ-calculusJean-Yves Girard. APAL, 37(2):129-177, 1988. [doi]

1987

Linear LogicJean-Yves Girard. TCS, 50:1-102, 1987.

Linear Logic and Lazy ComputationJean-Yves Girard, Yves Lafont. tapsoft 1987: 52-66

1986

Quantitative and Qualitative Semantics (Abstract of Invited Lecture)Jean-Yves Girard. lics 1986: 258

The System F of Variable Types, Fifteen Years LaterJean-Yves Girard. TCS, 45(2):159-192, 1986.

Linear Logic and ParallelismJean-Yves Girard. ac 1987: 166-182

1985

La mouche dans la bouteilleJean-Yves Girard. logicColl 1987: 9-12

Set recursion and Πhalf-logicJean-Yves Girard, Dag Normann. APAL, 28(3):255-286, 1985. [doi]

1984

Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann HierarchyJean-Yves Girard, Jacqueline Vauzeilles. JSYML, 49(4):1079-1114, 1984.

Functors and Ordinal Notations. I: A Functorial Construction of the Veblen HierarchyJean-Yves Girard, Jacqueline Vauzeilles. JSYML, 49(3):713-729, 1984.

Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateursJean-Yves Girard, Jacqueline Vauzeilles. AML, 24(1):167-191, 1984. [doi]

1981

A Result on Implications of sigma;::1::-Sentences and Its Application to Normal Form TheoremsJean-Yves Girard, Peter Päppinghaus. JSYML, 46(3):634-642, 1981.

1972

Interprétation fonctionnelle et élimination des coupures de l'arithmétique d’ordre supérieur.Jean-Yves Girard. PhD thesis, Université Paris 7, 1972.

Sign in or sign up to see more results.

runs on WebDSL