Arthur Ramos
74
Abonné
Personal Information
Entreprise/Lieu de travail
Recife, Brazil
Profession
PhD candidate in Computer Science
Mots-clés
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
Tout plus