Nicolas Rolland: Comprehension and quotient structures in the language of 2-categories (FSCD B)
Channel: IJCAR-FSCD 2020
Date: 12/07/2020

Authors: Paul-André Melliès and Nicolas Rolland

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