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)
Last revised on December 3, 2023 at 16:52:31. See the history of this page for a list of all contributions to it.