5 citations · 5 across the 1 of their papers we have counts for
1 paper
Alonso M. Emilia, Coquand Thierry, Lombardi Henri
This paper deals with the Peskine version of Zariski Main Theorem published in 1965 and discusses some applications. It is written in the style of Bishop's constructive mathematics…