Sort by
Refine Your Search
-
, with the University of Gothenburg as the employer. The project is about the study of dependent type theory extended with univalence with applications to synthetic mathematics. Prime examples
Searches related to mathematics graph theory
Enter an email to receive alerts for mathematics-graph-theory positions