@inproceedings{DBLP:conf/itp/ForsterS17,
  author       = {Yannick Forster and
                  Gert Smolka},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq},
  booktitle    = {Interactive Theorem Proving - 8th International Conference, {ITP}
                  2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10499},
  pages        = {189--206},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66107-0\_13},
  doi          = {10.1007/978-3-319-66107-0\_13},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/ForsterS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"5kvf2BEKZMcJabKif","bibbaseid":"forster-smolka-weakcallbyvaluelambdacalculusasamodelofcomputationincoq-2017","author_short":["Forster, Y.","Smolka, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Yannick"],"propositions":[],"lastnames":["Forster"],"suffixes":[]},{"firstnames":["Gert"],"propositions":[],"lastnames":["Smolka"],"suffixes":[]}],"editor":[{"firstnames":["Mauricio"],"propositions":[],"lastnames":["Ayala-Rincón"],"suffixes":[]},{"firstnames":["César","A."],"propositions":[],"lastnames":["Muñoz"],"suffixes":[]}],"title":"Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq","booktitle":"Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10499","pages":"189–206","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-66107-0\\_13","doi":"10.1007/978-3-319-66107-0_13","timestamp":"Sat, 05 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/itp/ForsterS17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/itp/ForsterS17,\n author = {Yannick Forster and\n Gert Smolka},\n editor = {Mauricio Ayala{-}Rinc{\\'{o}}n and\n C{\\'{e}}sar A. Mu{\\~{n}}oz},\n title = {Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq},\n booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}\n 2017, Bras{\\'{\\i}}lia, Brazil, September 26-29, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10499},\n pages = {189--206},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-66107-0\\_13},\n doi = {10.1007/978-3-319-66107-0\\_13},\n timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/itp/ForsterS17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Forster, Y.","Smolka, G."],"editor_short":["Ayala-Rincón, M.","Muñoz, C. A."],"key":"DBLP:conf/itp/ForsterS17","id":"DBLP:conf/itp/ForsterS17","bibbaseid":"forster-smolka-weakcallbyvaluelambdacalculusasamodelofcomputationincoq-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-66107-0\\_13"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/188/5682-2.bib","dataSources":["5syoA3E4Kc7JZpcPK"],"keywords":[],"search_terms":["weak","call","value","lambda","calculus","model","computation","coq","forster","smolka"],"title":"Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq","year":2017}