Jonathan Prieto-Cubides

Registered user since Fri 4 Jun 2021

Name:Jonathan Prieto-Cubides
Country:Norway
Affiliation:University of Bergen
Research interests:Formalisation of mathematics, programming languages, type theory, algorithms, graph theory

Contributions

CPP 2022 On homotopy of walks and spherical maps in homotopy type theory
Show activities from other conferences

POPL 2022-profile
View general profile