@article{najmaei-2026-from, title={From Semantics to Syntax: A Type Theory for Comprehension Categories}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3776725}, DOI={10.1145/3776725}, number={POPL}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Najmaei, Niyousha and van der Weide, Niels and Ahrens, Benedikt and North, Paige Randall}, year={2026}, month=Jan, pages={2409–2438} }