The Weak Call-By-Value \(\lambda\)-Calculus is Reasonable for Both Time and Space. Forster, Y., Kunze, F., & Roth, M. CoRR, 2019.
The Weak Call-By-Value \(\lambda\)-Calculus is Reasonable for Both Time and Space [link]Paper  bibtex   
@article{DBLP:journals/corr/abs-1902-07515,
  author    = {Yannick Forster and
               Fabian Kunze and
               Marc Roth},
  title     = {The Weak Call-By-Value {\(\lambda\)}-Calculus is Reasonable for Both
               Time and Space},
  journal   = {CoRR},
  volume    = {abs/1902.07515},
  year      = {2019},
  url       = {http://arxiv.org/abs/1902.07515},
  archivePrefix = {arXiv},
  eprint    = {1902.07515},
  timestamp = {Tue, 21 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1902-07515.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0