共 50 条
- [21] Set-theoretic Types for Erlang PROCEEDINGS OF THE 2022 34TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2022, 2022,
- [24] Information-theoretic and set-theoretic similarity 2006 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, VOLS 1-6, PROCEEDINGS, 2006, : 1836 - +
- [27] ON THE CIRCULARITY OF SET-THEORETIC SEMANTICS FOR SET THEORY EPISTEMOLOGIA, 2014, 37 (01): : 58 - 78
- [28] Set-Theoretic and Type-Theoretic Ordinals Coincide 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
- [29] Mechanism Design with Set-Theoretic Beliefs 2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 87 - 96
- [30] Set-Theoretic Solutions of the Pentagon Equation Communications in Mathematical Physics, 2020, 380 : 1003 - 1024