Andrew Pitts: Quotients in Dependent Type Theory (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-12

FSCD 2020 Invited Speaker.



Aired: 2020-02-03 13:00:00 CEST (UTC+2)