Dependent Type Theory Reading Group
- When
- Sunday, October 25, 2 PM to 4 PM
- Where
- Redwood City TBA, TBA, 雷德伍德城, CA, 94063
- Price
- Free
- Source fetched
- Thu, Oct 22
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 SF Events calendar