Russian constructivism in a prefascist theory. (English) Zbl 1498.03159
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 782-794 (2020).