BibTeX record conf/icfp/Power03

download as .bib file

@inproceedings{DBLP:conf/icfp/Power03,
  author       = {John Power},
  title        = {A unified category theoretic approach to variable binding},
  booktitle    = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2003, Uppsala, Sweden, August 2003},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/976571.976578},
  doi          = {10.1145/976571.976578},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Power03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics