@article{DBLP:journals/ita/LagoZ12,
  author       = {Ugo Dal Lago and
                  Margherita Zorzi},
  title        = {Probabilistic operational semantics for the lambda calculus},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {46},
  number       = {3},
  pages        = {413--450},
  year         = {2012},
  url          = {https://doi.org/10.1051/ita/2012012},
  doi          = {10.1051/ITA/2012012},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/LagoZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"udWMwub88nb83RnXy","bibbaseid":"lago-zorzi-probabilisticoperationalsemanticsforthelambdacalculus-2012","author_short":["Lago, U. D.","Zorzi, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Ugo","Dal"],"propositions":[],"lastnames":["Lago"],"suffixes":[]},{"firstnames":["Margherita"],"propositions":[],"lastnames":["Zorzi"],"suffixes":[]}],"title":"Probabilistic operational semantics for the lambda calculus","journal":"RAIRO Theor. Informatics Appl.","volume":"46","number":"3","pages":"413–450","year":"2012","url":"https://doi.org/10.1051/ita/2012012","doi":"10.1051/ITA/2012012","timestamp":"Thu, 04 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/ita/LagoZ12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ita/LagoZ12,\n author = {Ugo Dal Lago and\n Margherita Zorzi},\n title = {Probabilistic operational semantics for the lambda calculus},\n journal = {{RAIRO} Theor. Informatics Appl.},\n volume = {46},\n number = {3},\n pages = {413--450},\n year = {2012},\n url = {https://doi.org/10.1051/ita/2012012},\n doi = {10.1051/ITA/2012012},\n timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ita/LagoZ12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lago, U. D.","Zorzi, M."],"key":"DBLP:journals/ita/LagoZ12","id":"DBLP:journals/ita/LagoZ12","bibbaseid":"lago-zorzi-probabilisticoperationalsemanticsforthelambdacalculus-2012","role":"author","urls":{"Paper":"https://doi.org/10.1051/ita/2012012"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/44/3105.bib","dataSources":["YqxpDqzvaehKMgHN9"],"keywords":[],"search_terms":["probabilistic","operational","semantics","lambda","calculus","lago","zorzi"],"title":"Probabilistic operational semantics for the lambda calculus","year":2012}