Jean-Yves Girard is a prominent French logician and philosopher, known for his significant contributions to the fields of mathematical logic, proof theory, and category theory. Born on July 29, 1939, Girard has developed influential concepts and systems within these disciplines. One of his notable contributions is the development of Linear Logic, which he introduced in the 1980s.
Articles by others on the same topic
There are currently no matching articles.