Mathematical Structures in Dependent Type Theory (Invited Talk).

Assia Mahboubi

Browse the full CSL paper archive.