DMCA
Constructive Reals in Coq: Axioms and Categoricity
Cached
Download Links
- [www.cs.ru.nl]
- [www.cs.ru.nl]
- [www.cs.ru.nl]
- DBLP
Other Repositories/Bibliography
by
Herman Geuvers
,
Milad Niqui
Citations: | 17 - 2 self |