Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
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.