A Two-Level Linear Dependent Type Theory
Details
*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***
Let's read Fu and Xi's A Two-Level Linear Dependent Type Theory (https://arxiv.org/abs/2309.08673), then get together to discuss it.
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.
AI summary
By Meetup
Reading group for researchers/grad students online to discuss Fu and Xi's A Two-Level Linear Dependent Type Theory and clarify its key concepts.
AI summary
By Meetup
Reading group for researchers/grad students online to discuss Fu and Xi's A Two-Level Linear Dependent Type Theory and clarify its key concepts.