FOMUS - Foundations of Mathematics: Univalent foundations and set theory Bielefeld, Germany | July 18-23, 2016 - Home
fomus.weebly.com
"FOMUS - Foundations of Mathematics: Univalent Foundations and Set Theory" is the title of a conference held at the Center for Interdisciplinary Research in Bielefeld.
关键词：FOMUS, fomus, 2016, Workshop, Conference, Philosophy, Mathematics, Computer Science, Foundations, Homotopy Type Theory, Set Theory, Univalent Foundations, Bielefeld, ZiF, Interdisciplinary, Mathemati…