Functorial Semantics for Partial Theories (bibtex)

by Ivan Di Liberti, Fosco Loregian, Chad Nester and Paweł Sobociński

Reference:

Ivan Di Liberti, Fosco Loregian, Chad Nester and Paweł Sobociński, Functorial Semantics for Partial Theories, In Proc. ACM Program. Lang., vol. 5, no. POPL, pp. 57:1–57:28, 2021.

Bibtex Entry:

@article{Liberti2021,
  author    = {Ivan Di Liberti and Fosco Loregian and Chad Nester and Pawe{\l} Soboci{\'{n}}ski},
  title     = {Functorial Semantics for Partial Theories},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {5},
  number    = {{POPL}},
  pages     = {57:1--57:28},
  year      = {2021},
  doi       = {10.1145/3434338},
  url       = {https://doi.org/10.1145/3434338},
}