Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Girard, Jean-Yves"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Geometry of interaction V: Logic in the hyperfinite factor
Jean-Yves Girard
Theoretical Computer Science
412
(20), 2011, pp. 1860-1883
On denotational completeness
Jean-Yves Girard
Theoretical Computer Science
227
(1-2), 1999, pp. 249-273
Coherent Banach spaces: A continuous denotational semantics
Jean-Yves Girard
Theoretical Computer Science
227
(1-2), 1999, pp. 275-297
Light linear logic
Jean-Yves Girard
Information and Computation
143
(2), 1998, pp. 175-204
Linear logic and denotational semantics
Jean-Yves Girard
Technical Report, 1997
Light linear logic
Jean-Yves Girard
Lecture Notes in Computer Science
960
, 1995, pp. 145-176
Geometry of interaction
Jean-Yves Girard
Lecture Notes in Computer Science
836
, 1994, pp. 1
Bounded linear logic: A modular approach to polynomial-time computability
Jean-Yves Girard
,
Andre Scedrov
,
Philip J. Scott
Theoretical Computer Science
97
, 1992, pp. 1-66