Mar 18, 2022 · ... dependently typed algebraic theories to be a strict subclass of ... definition of homotopy ... Duration: 1:22:21 Posted: Mar 18, 2022
May 17, 2022 · ... definition. In this talk I'll review the state of the art on dependent optics, with the concrete ... Duration: 1:05:15 Posted: May 17, 2022
Mar 20, 2024 · ... Dependent Calculus of Indistinguishability (DCOI), a system that adopts indistinguishability ... Duration: 20:10 Posted: Mar 20, 2024