JEAN-YVES GIRARD

'Jean-Yves Girard' is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; the invention of linear logic; the geometry of interaction; and ludics.
Girard is a research director of CNRS in Marseille and a corresponding member of the French Academy of Sciences.

This article provided by Wikipedia. To edit the contents of this article, click here for original source.

	Vision 2000 Travel Group, Vancouver
	Hotel Valley Ho (Cafe ZuZu, VH Spa)
	Scottsdale CVB
	Interpro Travel Services Inc.
	traverse jamaica
	Pelican Executive Suites
	Travelonly - Dave Corless
	Time Out for Touring Inc.
	Heavenly Paradise Getaways
	Travelonly - Allan Jenkins

External links