Dependent Type Theory Reading Group
- When
- Sunday, November 8, 2 PM to 4 PM
- Where
- Redwood City TBA, TBA, 雷德伍德城, CA, 94063
- Price
- Free
- Source fetched
- Thu, Nov 5
We will be reading Principles of Dependent Type Theory by Carlo Angiuli and Daniel Gratzer.
See the original listing on eventbrite.ca Open in the Bay Area Events calendar