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:29:05. See the history of this page for a list of all contributions to it.