Bob Atkey@bentnib·Jul 11, 2018Slides for my LICS'18 talk on Quantitative Type Theory https://bentnib.org/docs/qtt-lics2018-slides.pdf…3625
Brendan Zabarauskas@brendanzabReplying to @bentnibWill there be a recording? 😀1:22 PM · Jul 11, 2018·Twitter Web Client
Brendan Zabarauskas@brendanzab·Jul 11, 2018Oh welp, the slides are handy anyway. Thanks for posting them! 🥰1
