BibTeX record journals/jfrea/Ahrens15

download as .bib file

@article{DBLP:journals/jfrea/Ahrens15,
  author    = {Benedikt Ahrens},
  title     = {Initiality for Typed Syntax and Semantics},
  journal   = {J. Formalized Reasoning},
  volume    = {8},
  number    = {2},
  pages     = {1--155},
  year      = {2015},
  url       = {https://doi.org/10.6092/issn.1972-5787/4712},
  doi       = {10.6092/issn.1972-5787/4712},
  timestamp = {Sun, 28 May 2017 13:19:05 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfrea/Ahrens15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier