Conversation

Slides for my LICS'18 talk on Quantitative Type Theory bentnib.org/docs/qtt-lics2

3

6

25

Brendan Zabarauskas

Will there be a recording? 😀

1

Don't think so, sorry!

1

Brendan Zabarauskas

Replying to

Oh welp, the slides are handy anyway. Thanks for posting them! 🥰

1:37 PM · Jul 11, 2018Twitter Web Client