共 50 条
- [45] Towards an API for the Real Numbers PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 562 - 576
- [47] The abstract type of the real numbers ARCHIVE FOR MATHEMATICAL LOGIC, 2021, 60 (7-8) : 1005 - 1017