Arthur Ramos
3 SlideShares 74 Followers 81 Followings
Personal Information
Organization / Workplace
Recife, Brazil
Occupation
PhD candidate in Computer Science
Tags
type theory logic ebl2017 ebl cloud computing homotopy type theory univalence computational paths lsfa 2015 computer science caminhos computacionais teoria dos tipos homotopia teoria das categorias
See more

Presentations

(3)

Tipo identidade como o tipo de caminhos computacionais

8 years ago • 252 Views

Computational paths, identity type and groupoid model

8 years ago • 465 Views

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

6 years ago • 170 Views
Personal Information
Organization / Workplace
Recife, Brazil
Occupation
PhD candidate in Computer Science
Tags
type theory logic ebl2017 ebl cloud computing homotopy type theory univalence computational paths lsfa 2015 computer science caminhos computacionais teoria dos tipos homotopia teoria das categorias
See more