Quantitative Type Theory
Hosted By
Adrian K.
Details
Time for some linear types! Let's read Robert Atkey's Syntax and Semantics of Quantitative Type Theory (https://bentnib.org/quantitative-type-theory.html), and then get together to discuss it.
We'll post the Zoom URL shortly before meeting time.
SF Types, Theorems, and Programming Languages
See more events
Online event
This event has passed
Quantitative Type Theory