Completing the rationals and metric spaces in LEGO (1992)

by C Jones
Venue:Proceedings of the Second Annual Workshop on Logical Frameworks