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...

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

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

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)...

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

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

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...

map(Func<A, B> f, List<A> xs) { ... } John C. Reynolds (and later Jean-Yves Girard) formally developed this notion of polymorphism as an extension to...

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...

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...

it was a type theory with, as it is called today, "Type in Type". Jean-Yves Girard has shown that this system was inconsistent, and the preprint was never...

It had already been discovered in 1971 by the mathematical logician Jean-Yves Girard. From 1975, Gerald Jay Sussman and Guy Steele develop the Scheme programming...

Jean Pierre Girard (soldier) [fr] (1750–1811), Swiss general Jean-Yves Girard (born 1947), French mathematician and logician Jonathan Girard (born 1980)...

lead developer of Java and its precursor, Oak. Jean Ichbiah, chief designer of Ada, Ada 83. Jean-Yves Girard, co-inventor of the polymorphic lambda calculus...

from the original on 4 September 2011. Retrieved 2 August 2011. Par Jean-Yves Girard (17 June 2008). "Juliette Binoche, la femme libre – Châtelaine". Fr...

spectral spaces are sometimes called coherent spaces. As defined by Jean-Yves Girard, a coherence space A {\displaystyle {\mathcal {A}}} is a collection...

Gergonne (France, 1771–1859) Gilbert de la Porrée (France, 1070–1154) Jean-Yves Girard (France, born 1947) Kurt Gödel (Austria, US, 1906–1978) Reuben Louis...

René Noël Théophile Girard (/ʒɪəˈrɑːrd/; French: [ʒiʁaʁ]; 25 December 1923 – 4 November 2015) was a French historian, literary critic, and philosopher...

of logics known as categorial grammars. Since the publication of Jean-Yves Girard's linear logic there have been several new noncommutative logics proposed...

Chesnais-Girard, le directeur de campagne de Jean-Yves Le Drian". France 3 Bretagne (in French). 12 April 2015. "Bretagne: Loïg Chesnais-Girard, le président...

intuitionistic logic proposed that allow many formulae in the RHS. From Jean-Yves Girard's logic LC it is easy to obtain a rather natural formalisation of classical...

programming languages by means of games. New results in linear logic by Jean-Yves Girard in the interfaces between mathematical game theory and logic on one...

semantic parametricity; the same calculus was independently discovered by Jean-Yves Girard. He wrote a seminal paper on definitional interpreters, which clarified...

Jean-Yves Le Drian (French pronunciation: [ʒɑ̃ iv lə dʁijɑ̃]; born 30 June 1947) is a French politician who served as Minister of Europe and Foreign Affairs...

multiwire proportional chamber by Georges Charpak in 1968. Linear logic by Jean-Yves Girard in 1987. Lamarckism, the first cohesive theory of evolution as well...

typed lambda calculus including the simply typed lambda calculus, Jean-Yves Girard's System F, and Thierry Coquand's calculus of constructions are strongly...

new results in dialogical logic began on one side, with the works of Jean-Yves Girard in linear logic and interaction; on the other, with the study of the...

Enrico Ciccone Matthieu Descoteaux Sam Girard Benoit Gosselin Mario Gosselin François Groleau Stéphane Guérard Jean-François Jomphe Patrick Lalime Patrick...

University Roger Establet – French scholar of the sociology of education Jean-Yves Girard – French logician Louis Godart – the chair of philology at the University...