@article{di2021functorial,
  title={Functorial semantics for partial theories},
  author={Di Liberti, Ivan and Loregian, Fosco and Nester, Chad and Soboci{\'n}ski, Pawe{\l}},
  journal={Proceedings of the ACM on Programming Languages},
  volume={5},
  number={POPL},
  pages={1--28},
  year={2021},
  publisher={ACM New York, NY, USA}
}