Semantics for two-dimensional type theoryOpen Website

Benedikt Ahrens, Paige Randall North, Niels van der Weide

2022 (modified: 14 Mar 2023)LICS 2022Readers: Everyone
0 Replies