Constructive Reals in Coq: Axioms and Categoricity

Cached

Download Links

by Herman Geuvers , Milad Niqui
Citations:15 - 2 self