J
Jean-Yves Girard
Researcher at Centre national de la recherche scientifique
Publications - 59
Citations - 11070
Jean-Yves Girard is an academic researcher from Centre national de la recherche scientifique. The author has contributed to research in topics: Linear logic & Sequent calculus. The author has an hindex of 31, co-authored 59 publications receiving 10720 citations. Previous affiliations of Jean-Yves Girard include University of the Mediterranean & University of Paris.
Papers
More filters
Journal ArticleDOI
Set recursion and Πhalf-logic
Jean-Yves Girard,Dag Normann +1 more
TL;DR: On construit par induction sur des dilateurs une hierarchie Φ F de fonctions ensemble recursives relatives a hΦ F (x)=I(F, x, h) and on demontre que si g est ensemble recursive dans h, alors g(x)≤ΦF (x) pour un certain dilateur F et pour tout x∈O n.
Journal ArticleDOI
Coherent Banach Spaces: a continuous denotational semantics extended abstract
TL;DR: A denotational semantics based on Banach spaces is presented, inspired from the familiar coherent semantics of linear logic, the role of coherence being played by the norm: coherence is rendered by a supremum, whereas incoherence isrendered by a sum, and cliques are rendered by vectors of norm at most 1.
Journal ArticleDOI
Truth, modality and intersubjectivity
TL;DR: The most mistreated notion of logic, truth is discussed, since computing and logic are intimately linked, in the approach to logic and foundations.