Parameterised Notions of Computation
Hosted By
Adrian K.
Details
Let's read Bob Atkey's Parameterised Notions of Computation (https://bentnib.org/param-notions.pdf), then get together to discuss it.
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.
SF Types, Theorems, and Programming Languages
See more events
Parameterised Notions of Computation