Dependent Type Theory Reading Group

We will be reading Principles of Dependent Type Theory by Carlo Angiuli and Daniel Gratzer. We will be reading Principles of Dependent Type Theory by Carlo Angiuli and Daniel Gratzer, available online. This is an in-person event and there will be no recording. Read in your own pace and we will try to go over what is interesting/difficult/important for you and me during the meeting. No background needed, all you need is interest and time. This will be a slow learning experience so we will not rush through the book. We will meet once per week. Locations and time can be adjusted based on most participants’ schedule/convenience. Send me an email if interested and once I have gathered some people, I can start planning our first meeting to discuss schedules and other issues. My email is: zhengwangyuan.icarus@gmail.com Thank you.