. . "Lyon, France"@en . . . "Jean-Yves Girard, n\u00E9 en 1947 \u00E0 Lyon, est un logicien et math\u00E9maticien contemporain, directeur de recherche au CNRS (\u00E9m\u00E9rite) au d\u00E9partement de logique de la programmation de l'institut de math\u00E9matiques de Luminy (devenu l'Institut de Math\u00E9matiques de Marseille, depuis le 1er janvier 2014). Il est m\u00E9daille d'argent du CNRS en 1983, correspondant de l'Acad\u00E9mie des sciences depuis 1994, membre de l'Acad\u00E9mie europ\u00E9enne depuis 1995."@fr . . "Jean-Yves Girard (1947) \u00E9 um l\u00F3gico franc\u00EAs que trabalha em teoria da prova. Suas contribui\u00E7\u00F5es incluem a prova da (do ingl\u00EAs strong normalization) do sistema de l\u00F3gica de segunda ordem chamado ; a inven\u00E7\u00E3o de l\u00F3gica linear; de ; e de ludics. Ele tamb\u00E9m inventou o rel\u00F3gio de mostarda. Aluno da \u00C9cole normale sup\u00E9rieure de Fontenay-Saint-Cloud (Escola superior de Saint-Cloud), Girard \u00E9 um diretor de pesquisa da CNRS em Marseille e um membro correspondente da Academia Francesa de Ci\u00EAncias."@pt . . . . . . "\u30B8\u30E3\u30F3\uFF1D\u30A4\u30F4\u30FB\u30B8\u30E9\u30FC\u30EB\uFF08Jean-Yves Girard\u30011947\u5E74 - \uFF09\u306F\u8A3C\u660E\u8AD6\u306E\u7814\u7A76\u3092\u884C\u306A\u3063\u3066\u3044\u308B\u30D5\u30E9\u30F3\u30B9\u306E\u8AD6\u7406\u5B66\u8005\u3002System F\u306E\u306E\u8A3C\u660E\u3084\u3001\u7DDA\u5F62\u8AD6\u7406\u3001\u3001\u306E\u767A\u898B\u306A\u3069\u306E\u529F\u7E3E\u304C\u3042\u308B\u3002"@ja . . . . . . . . . . . . . . . . . . . "\u062C\u0627\u0646 \u0625\u064A\u0641 \u062C\u064A\u0631\u0627\u0631\u062F"@ar . . . . . . . . . . . . . "Jean-Yves Girard (* 1947 in Lyon) ist ein franz\u00F6sischer mathematischer Logiker. Girard besuchte die \u00C9cole Normale Sup\u00E9rieure de Saint Cloud und wurde 1972 an der Universit\u00E4t Paris VII Denis Diderot bei Jean-Louis Krivine promoviert (Interpr\u00E9taton fonctionelle et \u00E9limination des coupures de l'arithm\u00E9tique d'ordre sup\u00E9rieure). Er lehrte an der Universit\u00E4t Paris VII und an der Universit\u00E9 de la Mediteran\u00E9e Aix-Marseille. Girard ist bekannt f\u00FCr Beitr\u00E4ge zur Beweistheorie mit Anwendungen in der Informatik. Er f\u00FChrte 1987 die Lineare Logik ein, eine neue Nichtklassische Logik, die auch in der Informatik vielfach Anwendung fand, und in diesem Zusammenhang 1989 Geometry of Interaction (GoI). 2001 begr\u00FCndete er Ludics aus der Analyse von Ableitungsregeln in Logiken. 1971/2 f\u00FChrte er in seiner Dissertation eine getypte polymorphe Form des Lambda-Kalk\u00FCls ein (wie unabh\u00E4ngig ), System F. Sie fand Anwendungen in der Theorie der Programmiersprachen (u. a. theoretische Grundlagen von ML). Er ist Mitglied der Acad\u00E9mie des sciences und der Academia Europaea (1995). Zu seinen Doktoranden z\u00E4hlen Yves Lafont, Laurent Regnier."@de . "Jean-Yves Girard"@de . . . . "1112303950"^^ . . "Jean-Yves Girard"@en . "\u30B8\u30E3\u30F3\uFF1D\u30A4\u30F4\u30FB\u30B8\u30E9\u30FC\u30EB"@ja . . . . "Jean-Yves Girard, n\u00E9 en 1947 \u00E0 Lyon, est un logicien et math\u00E9maticien contemporain, directeur de recherche au CNRS (\u00E9m\u00E9rite) au d\u00E9partement de logique de la programmation de l'institut de math\u00E9matiques de Luminy (devenu l'Institut de Math\u00E9matiques de Marseille, depuis le 1er janvier 2014). Il est m\u00E9daille d'argent du CNRS en 1983, correspondant de l'Acad\u00E9mie des sciences depuis 1994, membre de l'Acad\u00E9mie europ\u00E9enne depuis 1995."@fr . . . . . . . . . . . . . . "\u062C\u0627\u0646 \u0625\u064A\u0641 \u062C\u064A\u0631\u0627\u0631\u062F (\u0628\u0627\u0644\u0641\u0631\u0646\u0633\u064A\u0629: Jean-Yves Girard)\u200F \u0647\u0648 \u0631\u064A\u0627\u0636\u064A\u0627\u062A\u064A \u0648\u0641\u064A\u0644\u0633\u0648\u0641 \u0641\u0631\u0646\u0633\u064A\u060C \u0648\u0644\u062F \u0641\u064A 1947 \u0641\u064A \u0644\u064A\u0648\u0646 \u0641\u064A \u0641\u0631\u0646\u0633\u0627."@ar . "579673"^^ . . . . . . . . . . . . . . . "Jean-Yves Girard (French: [\u0292i\u0281a\u0281]; born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of the University of Aix-Marseille, at Luminy."@en . . . . . . . . . . "Jean-Yves Girard (* 1947 in Lyon) ist ein franz\u00F6sischer mathematischer Logiker. Girard besuchte die \u00C9cole Normale Sup\u00E9rieure de Saint Cloud und wurde 1972 an der Universit\u00E4t Paris VII Denis Diderot bei Jean-Louis Krivine promoviert (Interpr\u00E9taton fonctionelle et \u00E9limination des coupures de l'arithm\u00E9tique d'ordre sup\u00E9rieure). Er lehrte an der Universit\u00E4t Paris VII und an der Universit\u00E9 de la Mediteran\u00E9e Aix-Marseille. Er ist Mitglied der Acad\u00E9mie des sciences und der Academia Europaea (1995). Zu seinen Doktoranden z\u00E4hlen Yves Lafont, Laurent Regnier."@de . . "Jean-Yves Girard (1947) \u00E9 um l\u00F3gico franc\u00EAs que trabalha em teoria da prova. Suas contribui\u00E7\u00F5es incluem a prova da (do ingl\u00EAs strong normalization) do sistema de l\u00F3gica de segunda ordem chamado ; a inven\u00E7\u00E3o de l\u00F3gica linear; de ; e de ludics. Ele tamb\u00E9m inventou o rel\u00F3gio de mostarda. Aluno da \u00C9cole normale sup\u00E9rieure de Fontenay-Saint-Cloud (Escola superior de Saint-Cloud), Girard \u00E9 um diretor de pesquisa da CNRS em Marseille e um membro correspondente da Academia Francesa de Ci\u00EAncias."@pt . . . . . . "3998"^^ . . . . . . . "Jean-Yves Girard"@fr . . . . . . . . "Jean-Yves Girard"@en . . . . "Jean-Yves Girard (French: [\u0292i\u0281a\u0281]; born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of the University of Aix-Marseille, at Luminy."@en . . . . "Jean-Yves Girard"@pt . . . . . . "\u30B8\u30E3\u30F3\uFF1D\u30A4\u30F4\u30FB\u30B8\u30E9\u30FC\u30EB\uFF08Jean-Yves Girard\u30011947\u5E74 - \uFF09\u306F\u8A3C\u660E\u8AD6\u306E\u7814\u7A76\u3092\u884C\u306A\u3063\u3066\u3044\u308B\u30D5\u30E9\u30F3\u30B9\u306E\u8AD6\u7406\u5B66\u8005\u3002System F\u306E\u306E\u8A3C\u660E\u3084\u3001\u7DDA\u5F62\u8AD6\u7406\u3001\u3001\u306E\u767A\u898B\u306A\u3069\u306E\u529F\u7E3E\u304C\u3042\u308B\u3002"@ja . . . . "Jean-Yves Girard"@en . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "French"@en . . . . . "\u062C\u0627\u0646 \u0625\u064A\u0641 \u062C\u064A\u0631\u0627\u0631\u062F (\u0628\u0627\u0644\u0641\u0631\u0646\u0633\u064A\u0629: Jean-Yves Girard)\u200F \u0647\u0648 \u0631\u064A\u0627\u0636\u064A\u0627\u062A\u064A \u0648\u0641\u064A\u0644\u0633\u0648\u0641 \u0641\u0631\u0646\u0633\u064A\u060C \u0648\u0644\u062F \u0641\u064A 1947 \u0641\u064A \u0644\u064A\u0648\u0646 \u0641\u064A \u0641\u0631\u0646\u0633\u0627."@ar . .