A Higher Structure Identity PrincipleOpen Website

Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis

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