Initial Algebras Without Iteration (bibtex)
by Jiří Adámek, Stefan Milius and Lawrence S. Moss
Reference:
Jiří Adámek, Stefan Milius and Lawrence S. Moss: Initial Algebras Without Iteration, In Fabio Gaducci, Alexandra Silva, eds.: 9th Conference on Algebra and Coalgebra in Computer Science (CALCO), LIPIcs, vol. 211, pp. 5:1–5:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021.
Bibtex Entry:
@string{lipics="LIPIcs"}
@string{dagstuhl="Schloss Dagstuhl – Leibniz-Zentrum für Informatik"}
@InProceedings{amm21,
  author = 	 {Ad\'amek, Ji\v{r}\'i and Milius, Stefan and Moss, Lawrence S.},
  title = 	 {Initial Algebras Without Iteration},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO)},
  year = 	 {2021},
  editor = 	 {Gaducci, Fabio and Silva, Alexandra},
  volume = 	 {211},
  OPTnumber = 	 {},
  series = 	 lipics,
  pages = 	 {5:1-5:20},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = dagstuhl,
  OPTnote = 	 {},
  OPTannote = 	 {},
  URL = {https://www.dagstuhl.de/dagpub/978-3-95977-212-9}
}
Powered by bibtexbrowser