Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda (bibtex)

Reference:

Thorsten Wißmann and Stefan Milius: Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda, In Pawel Sobocinski, Ugo Dal Lago, Javier Esparza, eds.: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024, pp. 72:1–72:14, ACM, 2024.

Bibtex Entry:

@inproceedings{WM24,
  author       = {Thorsten Wi{\ss}mann and Stefan Milius},
  editor       = {Pawel Sobocinski and Ugo Dal Lago and Javier Esparza},
  title        = {Initial Algebras Unchained - {A} Novel Initial Algebra Construction Formalized in Agda},
  booktitle    = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
  pages        = {72:1--72:14},
  publisher    = {{ACM}},
  year         = 2024,
  preprinturl  = {https://arxiv.org/abs/2405.09504},
  agdaurl      = {https://git8.cs.fau.de/software/initial-algebras-unchained},
  url          = {https://dx.doi.org/10.1145/3661814.3662105},
  doi          = {10.1145/3661814.3662105},
  timestamp    = {Thu, 04 Jul 2024 22:05:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/WissmannM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org},
}