Search results
Results: 1
Number of items: 1
-
Bauer, A., & Swan, A. (2019). Every metric space is separable in function realizability. Logical Methods in Computer Science, 15(2), Article 14. https://doi.org/10.23638/LMCS-15(2:14)2019
Page of