syn·thet·ic
Search or jump to…
Ctrl+K
Sign in
home
library
authors
Paolo Capriotti
Paolo Capriotti
Publications
Non-Wellfounded Trees in Homotopy Type Theory. Benedikt Ahrens, Paolo Capriotti, Régis Spadotti. 2015.