@misc{indiciaeb1aac15d3fd6,
  title = {From Semantics to Syntax: A Type Theory for Comprehension Categories},
  author = {Niyousha Najmaei and Niels van der Weide and Benedikt Ahrens and Paige Randall North},
  year = {2025},
  url = {https://arxiv.org/abs/2503.10868},
  note = {Source identifier: 2503.10868}
}