Call-by-Value Lambda Calculus as a Model of Computation in Coq. Forster, Y. & Smolka, G. J. Autom. Reason., 63(2):393–413, 2019. Paper doi bibtex @article{DBLP:journals/jar/ForsterS19,
author = {Yannick Forster and
Gert Smolka},
title = {Call-by-Value Lambda Calculus as a Model of Computation in Coq},
journal = {J. Autom. Reason.},
volume = {63},
number = {2},
pages = {393--413},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9484-2},
doi = {10.1007/s10817-018-9484-2},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ForsterS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"tPEGXebbTzC4dqzJo","bibbaseid":"forster-smolka-callbyvaluelambdacalculusasamodelofcomputationincoq-2019","author_short":["Forster, Y.","Smolka, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Yannick"],"propositions":[],"lastnames":["Forster"],"suffixes":[]},{"firstnames":["Gert"],"propositions":[],"lastnames":["Smolka"],"suffixes":[]}],"title":"Call-by-Value Lambda Calculus as a Model of Computation in Coq","journal":"J. Autom. Reason.","volume":"63","number":"2","pages":"393–413","year":"2019","url":"https://doi.org/10.1007/s10817-018-9484-2","doi":"10.1007/s10817-018-9484-2","timestamp":"Sat, 05 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jar/ForsterS19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jar/ForsterS19,\n author = {Yannick Forster and\n Gert Smolka},\n title = {Call-by-Value Lambda Calculus as a Model of Computation in Coq},\n journal = {J. Autom. Reason.},\n volume = {63},\n number = {2},\n pages = {393--413},\n year = {2019},\n url = {https://doi.org/10.1007/s10817-018-9484-2},\n doi = {10.1007/s10817-018-9484-2},\n timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jar/ForsterS19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Forster, Y.","Smolka, G."],"key":"DBLP:journals/jar/ForsterS19","id":"DBLP:journals/jar/ForsterS19","bibbaseid":"forster-smolka-callbyvaluelambdacalculusasamodelofcomputationincoq-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10817-018-9484-2"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/188/5682-2.bib","dataSources":["5syoA3E4Kc7JZpcPK"],"keywords":[],"search_terms":["call","value","lambda","calculus","model","computation","coq","forster","smolka"],"title":"Call-by-Value Lambda Calculus as a Model of Computation in Coq","year":2019}