Constructive Higher Sheaf Models with Applications to Synthetic Mathematics

Published in 41st Annual Symposium on Logic in Computer Science (LICS 2026), 2026