Revisiting zariski main theorem from a constructive point of view
- Alonso, M.E.
- Coquand, T.
- Lombardi, H.
ISSN: 1090-266X, 0021-8693
Année de publication: 2014
Volumen: 406
Pages: 46-68
Type: Article
ISSN: 1090-266X, 0021-8693
Année de publication: 2014
Volumen: 406
Pages: 46-68
Type: Article