Probabilistic Operational Semantics for the Lambda Calculus. Dal Lago, U & Zorzi, M RAIRO - Theoretical Informatics and Applications, 2012. bibtex @Article{DalLago2012,
author = {Dal Lago, U and Zorzi, M},
title = {Probabilistic Operational Semantics for the Lambda Calculus},
journal = {RAIRO - Theoretical Informatics and Applications},
volume = {},
number = {46},
pages = {413--450},
year = {2012},
abstract = {},
location = {},
keywords = {}}
Downloads: 0
{"_id":"Pie7R92SuALGSvTeA","bibbaseid":"dallago-zorzi-probabilisticoperationalsemanticsforthelambdacalculus-2012","authorIDs":[],"author_short":["Dal Lago, U","Zorzi, M"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Dal","Lago"],"firstnames":["U"],"suffixes":[]},{"propositions":[],"lastnames":["Zorzi"],"firstnames":["M"],"suffixes":[]}],"title":"Probabilistic Operational Semantics for the Lambda Calculus","journal":"RAIRO - Theoretical Informatics and Applications","volume":"","number":"46","pages":"413–450","year":"2012","abstract":"","location":"","keywords":"","bibtex":"@Article{DalLago2012,\nauthor = {Dal Lago, U and Zorzi, M}, \ntitle = {Probabilistic Operational Semantics for the Lambda Calculus}, \njournal = {RAIRO - Theoretical Informatics and Applications}, \nvolume = {}, \nnumber = {46}, \npages = {413--450}, \nyear = {2012}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Dal Lago, U","Zorzi, M"],"key":"DalLago2012","id":"DalLago2012","bibbaseid":"dallago-zorzi-probabilisticoperationalsemanticsforthelambdacalculus-2012","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.344Z","downloads":0,"keywords":[],"search_terms":["probabilistic","operational","semantics","lambda","calculus","dal lago","zorzi"],"title":"Probabilistic Operational Semantics for the Lambda Calculus","year":2012,"dataSources":["hEoKh4ygEAWbAZ5iy"]}