Overview
News
Technologies
Salaries
Products
People
Growth
Financials
News
Report
Report
Xavier Leroy - Sciences du logiciel Collège de France
102020 Lecture material: slides in English are now available for my Collège de France lectures on The Curry-howard correspondence today (2018-2019) and on Mechanized semantics (2019-2020). See also the companion Coq development .
Read more
Report
Pro access
Upgrade to see all 9 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.