4 ยท Reading group
Bay Area Dependent Type Theory Reading Group
Book
Principles of Dependent Type Theory by Carlo Angiuli and Daniel Gratzer
Time & Location
Email me for details.
Format
Weekly, in person.
4 ยท Reading group
Principles of Dependent Type Theory by Carlo Angiuli and Daniel Gratzer
Email me for details.
Weekly, in person.