Russian Constructivism in a Prefascist Theory
From MaRDI portal
Publication:5145680
DOI10.1145/3373718.3394740zbMath1498.03159OpenAlexW3019110569MaRDI 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
Constructive and recursive analysis (03F60) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Intuitionistic mathematics (03F55) Type theory (03B38)