Constructive Real Analysis: a Type-Theoretical Formalization and Applications. Faculty of Science, Mathematics and Computer (0)

by L Cruz-Filipe
Venue:Faculty of Sciences, Division of Mathematics and Computer