Matthew Kennedy, Astra Kolomatskaia, Daniel Spivak An infinite quantum Ramsey theorem, Journal of Operator Theory, Volume 84, Issue 1, Summer 2020 pp. 49-65. (doi:10.7900/jot.2018dec11.2259, arXiv:1711.09526)
Astra Kolomatskaia, Michael Shulman, Displayed Type Theory and Semi-Simplicial Types (arXiv:2311.18781)
Astra Kolomatskaia, You Wouldn’t Permutahedron (arXiv:2407.10891)
Last revised on July 20, 2024 at 21:10:03. See the history of this page for a list of all contributions to it.