Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a conference talk on type theory and constructive mathematics delivered at the Centre International de Rencontres Mathématiques in Marseille, France. Delve into Dale Miller's presentation on transitioning from axioms to synthetic inference rules through the lens of focusing. Gain insights into this specialized area of mathematical logic over the course of 47 minutes. Access additional features like chapter markers, keywords, abstracts, and bibliographies through CIRM's Audiovisual Mathematics Library. Utilize the multi-criteria search functionality to discover related content by author, title, tags, or mathematical area.
