Crosilla, Laura

Autor
Artikel, Constructive Notions of Set. Part I. Sets in Martin-Löf Type Theory, Firenze University Press
page 1 of 1