共 50 条
- [31] Program Self-reference in Constructive Scott Subdomains MATHEMATICAL THEORY AND COMPUTATIONAL PRACTICE, 2009, 5635 : 89 - 98
- [35] Cantor Diagrams: A Unifying Discussion of Self-Reference Applied Categorical Structures, 2003, 11 : 313 - 336
- [39] Characterizing Programming Systems Allowing Program Self-Reference Theory of Computing Systems, 2009, 45 : 756 - 772
- [40] YABLO'S PARADOX, SELF-REFERENCE AND MATHEMATICAL INDUCTION VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2019, 50 : 262 - 268