Author:
Rijke Egbert,Christensen J. Daniel,Scoccola Luis,Opie Morgan
Publisher
Institute of Mathematics, Czech Academy of Sciences
Subject
General Computer Science,Human-Computer Interaction,Philosophy,Electrical and Electronic Engineering,Control and Systems Engineering,Social Psychology,Sociology and Political Science,Environmental Science (miscellaneous),Geography, Planning and Development,General Social Sciences,General Economics, Econometrics and Finance,Sociology and Political Science,Social Sciences (miscellaneous),Education,Information Systems and Management,Computer Science Applications,Software,Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Software,Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Computer Science Applications,Software,General Engineering
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On symmetries of spheres in univalent foundations;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Non‐accessible localizations;Journal of Topology;2024-05-23
3. Left-exact localizations of ∞-topoi II: Grothendieck topologies;Journal of Pure and Applied Algebra;2024-03
4. Decalf: A Directed, Effectful Cost-Aware Logical Framework;Proceedings of the ACM on Programming Languages;2024-01-05
5. The Hurewicz theorem in homotopy type theory;Algebraic & Geometric Topology;2023-07-25