Skip to content

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.

You may also like