BibTeX record journals/shonan-reports/DybjerKM11

download as .bib file

@article{DBLP:journals/shonan-reports/DybjerKM11,
  author       = {Peter Dybjer and
                  Yoshiki Kinoshita and
                  Shin{-}Cheng Mu},
  title        = {Agda Implementors Meeting {(NII} Shonan Meeting 2011-2)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2011},
  year         = {2011},
  url          = {https://shonan.nii.ac.jp/seminars/008/},
  timestamp    = {Thu, 04 Mar 2021 17:49:23 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/DybjerKM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics