ncatlab.org

Giovanni Sambin in nLab

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |

Selected writings

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

personal page

Selected writings

On Martin-Löf type theory:

Per Martin-Löf, Intuitionistic type theory, Lecture notes Padua 1984 (notes by Giovanni Sambin), Bibliopolis, Napoli (1984) (pdf, pdf)

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

Edit DiscussPrevious revisionChanges from previous revision History (1 revision) Cite Print Source