Arthur Ramos
74
Followers
Personal Information
Unternehmen/Arbeitsplatz
Recife, Brazil
Beruf
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
Mehr anzeigen