arthur-ramos documents

Science Computation paths, transport and the univalence axiom - EBL 2017 talk

Science Computational paths, identity type and groupoid model

Documents UniversidadeFederaldeVicosa PSU2016 ADENDOI 20151008100951