syn·thet·ic
Search or jump to…
Ctrl+K
Sign in
home
library
authors
Evan Cavallo
Evan Cavallo
Publications
Internalizing Representation Independence With Univalence. Carlo Angiuli, Evan Cavallo, Anders Mörtberg, Max Zeuner. 2020.