"FOMUS - Foundations of Mathematics: Univalent Foundations and Set Theory" is the title of a conference held at the Center for Interdisciplinary Research in Bielefeld.
Domain | fomus.weebly.com |
---|---|
Homepage URL | http://fomus.weebly.com |
Keywords | fomus 2016 workshop conference philosophy mathematics computer science foundations homotopy type theory set univalent bielefeld zif interdisciplinary mathematical zentrum für interdisziplinäre forschung |
Sprache | englisch |