nLab Giovanni Sambin

Selected writings

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

Selected writings

On Martin-Löf type theory:

Last revised on May 13, 2021 at 06:08:06. See the history of this page for a list of all contributions to it.