• Science • People
Non User
 • Locations • Timeline
Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > Jean-Yves Girard

 
Jean-Yves Girard is a French mathematician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; and the invention of linear logic.

Girard is a research director of CNRS in Marseilles and a corresponding member of the French Academy of Sciences.

External links


Girard, Jean-Yves

Read more »

Topics: Jean-Yves Girard, Jean Baptiste Siméon Chardin, Jean Cocteau...

Jean-Baptiste-Siméon ChardinJean-Baptiste-Simeon Chardin ( November 2, 1699 December 6, 1779) is considered by some to be the greatest of the 18th-century French painters. He is known for his beautifully textured still lifes as well as his sensitive and touching genre paintings.Jean CocteauJean Maurice Eugene Clement Cocteau ( July 5, 1889 October 11, 1963) was a French poet, novelist, dramatist, designer, and filmmaker. He was born at Maisons-Laffitte, France, a small town near Paris. His versatility, unconventionality, and enormous outputJean-Michel BasquiatJean-Michel Basquiat ( December 22, 1960 August 12, 1988) was an American artist born in Brooklyn, New York. His mother was a Puerto Rican and his father of Haitian origin. He had started as a street artist painting graffiti art and then he became a very
Jean-Jacques RousseauJean Jacques Rousseau ( June 28, 1712 July 2, 1778) was a Swiss-French philosopher, writer, political theorist, and self-taught composer. Biography of Rousseau Rousseau was born in Geneva, Switzerland, and died in Ermenonville (28 miles northeast of ParisJean Joseph Marie AmiotJean Joseph Marie Amiot ( 1718 1793), a French Jesuit missionary, was born at Toulon in February 1718. He entered the Society of Jesus in 1737 and was sent in 1750 as a missionary to China. He soon won the confidence of the emperor Qianlong and spent theJean-Jacques AmpèreJean-Jacques Ampere ( August 12, 1800- March 27, 1864), French philologist and man of letters The only son of Andre Marie Ampere was born at Lyon. He studied the folk-songs and popular poetry of the Scandinavian countries in an extended tour in northern E
Jean-François MilletJean-Paul SartreJean Richard
Jean GreyJeannine TaylorJean Reno
Jean-Claude KillyJean Baptiste Point du SableJean Michel Jarre
Non User