BibTeX record conf/mkm/Ekici18

• > Home > conf/mkm/Ekici18

@inproceedings{DBLP:conf/mkm/Ekici18,
  author       = {Burak Ekici},
  editor       = {Osman Hasan and
                  Abdou Youssef and
                  Adam Naumowicz and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Diane Gallois{-}Wong and
                  Florian Rabe and
                  Gabriel Dos Reis and
                  Grant O. Passmore and
                  James H. Davenport and
                  Markus Pfeiffer and
                  Michael Kohlhase and
                  Serge Autexier and
                  Sofi{\`{e}}ne Tahar and
                  Thomas Koprucki and
                  Umair Siddique and
                  Walther Neuper and
                  Wolfgang Windsteiger and
                  Wolfgang Schreiner and
                  Wolfram Sperber and
                  Zolt{\'{a}}n Kov{\'{a}}cs},
  title        = {Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction
                  in Coq},
  booktitle    = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath
                  Workshops, Doctoral Program and Work in Progress at the Conference
                  on Intelligent Computer Mathematics 2018 co-located with the 11th
                  Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg,
                  Austria, August 13-17, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2307},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2307/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Ekici18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}