James R. Newman; Kurt Gödel; Jean-Yves Girard (1989). Le théorème de Gödel. Éditions du Seuil. Jean-Yves Girard; P. Taylor; Yves Lafont (1989). Proofs and...

dependencies between the sorts). System U was proved inconsistent by Jean-Yves Girard in 1972 (and the question of consistency of System U− was formulated)...

French footballer Yves Jean-Bart (born 1947), Haitian football executive Jean-Yves Berteloot (born 1958), French actor Jean-Yves Besselat (1943–2012)...

mathematical logic". The paradox was called "Richard's paradox" by Jean-Yves Girard. Consider the expression: "The smallest positive integer not definable...

such as Haskell and ML. It was discovered independently by logician Jean-Yves Girard (1972) and computer scientist John C. Reynolds. Whereas simply typed...

described by Jean-Yves Girard. Linear logic Ludics Geometry of interaction Coherent space Deep inference Interaction nets Girard, Jean-Yves. Linear logic...

give the same meaning to types. Ludics was proposed by the logician Jean-Yves Girard. His paper introducing ludics, Locus solum: from the rules of logic...

proof theory, the Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on linear logic. In linear logic, proofs can...

Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities...

linear logic, to which it differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics...