DOI10.4204/eptcs.380.19arXiv2201.12878OpenAlexW4385342820MaRDI QIDQ6150165
David I. Spivak
Publication date: 5 March 2024 Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/2201.12878
Mathematics Subject Classification ID
Computer science (68-XX)
Cites Work