nLab
Giovanni Sambin

Giovanni Sambin is a mathematician working in formal topology, constructive mathematics, intuitionistic logic. He is a professor at Università di Padova.

Created on October 4, 2012 at 17:37:17. See the history of this page for a list of all contributions to it.