From Axioms to Synthetic Inference Rules via Focusing

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.