BibTeX record journals/corr/abs-1908-04921

• > Home > journals/corr/abs-1908-04921

@inproceedings{DBLP:journals/corr/abs-1908-04921,
  author       = {L{\^{e}} Th{\`{a}}nh Dung Nguy{\^{e}}n},
  editor       = {Thomas Seiller and
                  Steffen Jost},
  title        = {On the Elementary Affine Lambda-Calculus with and Without Fixed Points},
  booktitle    = {Proceedings Third Joint Workshop on Developments in Implicit Computational
                  complExity and Foundational {\&} Practical Aspects of Resource
                  Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7,
                  2019},
  series       = {{EPTCS}},
  volume       = {298},
  pages        = {15--29},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.298.2},
  doi          = {10.4204/EPTCS.298.2},
  timestamp    = {Fri, 27 Dec 2019 21:15:12 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-04921.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}