Russian Constructivism in a Prefascist Theory
From MaRDI portal
Publication:5145680
DOI10.1145/3373718.3394740zbMath1498.03159MaRDI QIDQ5145680
Publication date: 21 January 2021
Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-02548315/file/main.pdf
03F60: Constructive and recursive analysis
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
03F55: Intuitionistic mathematics
03B38: Type theory