Internalizing Indistinguishability
Details
*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***
Let's read Internalizing Indistinguishability with Dependent Types (https://dl.acm.org/doi/10.1145/3632886), of which Jonathan Chan and Stephanie Weirich are among the distinguished authors.
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.