syn·thet·ic
Search or jump to…
Ctrl+K
Sign in
home
library
authors
Robert Harper
Robert Harper
Publications
Internal Parametricity for Cubical Type Theory. Evan Cavallo, Robert Harper. 2021.