@misc{indiciae2d4cd4b7aec4,
  title = {Algebraic Type Theory, Part 1: Martin-Löf algebras},
  author = {Steve Awodey},
  year = {2026},
  url = {https://arxiv.org/abs/2505.10761},
  note = {Source identifier: 2505.10761}
}