14052017
Results 1 to 1 of 1
Selection :
Constructive reals in coq: Axioms and categoricityGEUVERS, Herman; NIQUI, Milad.Lecture notes in computer science. 2002, pp 79-95, issn 0302-9743, isbn 3-540-43287-6Conference Paper