@article{DBLP:journals/corr/abs-0809-0195,
  author       = {Paolo Coppola and
                  Ugo Dal Lago and
                  Simona Ronchi Della Rocca},
  title        = {Light Logics and the Call-by-Value Lambda Calculus},
  journal      = {CoRR},
  volume       = {abs/0809.0195},
  year         = {2008},
  url          = {http://arxiv.org/abs/0809.0195},
  eprinttype    = {arXiv},
  eprint       = {0809.0195},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0809-0195.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Rz5o5hXom2rTBZYpk","bibbaseid":"coppola-lago-rocca-lightlogicsandthecallbyvaluelambdacalculus-2008","author_short":["Coppola, P.","Lago, U. D.","Rocca, S. R. D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Paolo"],"propositions":[],"lastnames":["Coppola"],"suffixes":[]},{"firstnames":["Ugo","Dal"],"propositions":[],"lastnames":["Lago"],"suffixes":[]},{"firstnames":["Simona","Ronchi","Della"],"propositions":[],"lastnames":["Rocca"],"suffixes":[]}],"title":"Light Logics and the Call-by-Value Lambda Calculus","journal":"CoRR","volume":"abs/0809.0195","year":"2008","url":"http://arxiv.org/abs/0809.0195","eprinttype":"arXiv","eprint":"0809.0195","timestamp":"Thu, 14 May 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-0809-0195.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-0809-0195,\n author = {Paolo Coppola and\n Ugo Dal Lago and\n Simona Ronchi Della Rocca},\n title = {Light Logics and the Call-by-Value Lambda Calculus},\n journal = {CoRR},\n volume = {abs/0809.0195},\n year = {2008},\n url = {http://arxiv.org/abs/0809.0195},\n eprinttype = {arXiv},\n eprint = {0809.0195},\n timestamp = {Thu, 14 May 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-0809-0195.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Coppola, P.","Lago, U. D.","Rocca, S. R. D."],"key":"DBLP:journals/corr/abs-0809-0195","id":"DBLP:journals/corr/abs-0809-0195","bibbaseid":"coppola-lago-rocca-lightlogicsandthecallbyvaluelambdacalculus-2008","role":"author","urls":{"Paper":"http://arxiv.org/abs/0809.0195"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/44/3105.bib","dataSources":["YqxpDqzvaehKMgHN9"],"keywords":[],"search_terms":["light","logics","call","value","lambda","calculus","coppola","lago","rocca"],"title":"Light Logics and the Call-by-Value Lambda Calculus","year":2008}