BibTeX record conf/fpca/Yoshida93

download as .bib file

@inproceedings{DBLP:conf/fpca/Yoshida93,
  author       = {Nobuko Yoshida},
  editor       = {John Williams},
  title        = {Optimal Reduction in Weak-{\(\lambda\)}-calculus with Shared Environments},
  booktitle    = {Proceedings of the conference on Functional programming languages
                  and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
                  9-11, 1993},
  pages        = {243--254},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/165180.165217},
  doi          = {10.1145/165180.165217},
  timestamp    = {Mon, 15 Jun 2020 17:07:30 +0200},
  biburl       = {https://dblp.org/rec/conf/fpca/Yoshida93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}