ºÝºÝߣ

ºÝºÝߣShare a Scribd company logo
arthurframos5

Arthur Ramos

3 ºÝºÝߣShares74 Followers81 Followings
3 ºÝºÝߣShares74 Followers81 Followings
Personal Information
Organization / Workplace
Recife, Brazil
Occupation
PhD candidate in Computer Science

Presentations(3)Ìý

Computation paths, transport and the univalence axiom - EBL 2017 talk
Computation paths, transport and the univalence axiom - EBL 2017 talkComputation paths, transport and the univalence axiom - EBL 2017 talk
Computation paths, transport and the univalence axiom - EBL 2017 talk
Ìý
Computational paths, identity type and groupoid model
Computational paths, identity type and groupoid modelComputational paths, identity type and groupoid model
Computational paths, identity type and groupoid model
Ìý
Tipo identidade como o tipo de caminhos computacionaisTipo identidade como o tipo de caminhos computacionais
Tipo identidade como o tipo de caminhos computacionais
Ìý
AboutCopyright
© 2025 ºÝºÝߣ