[{"data": {"name": "Probabilistic operational semantics for the lambda calculus", "@type": "ScholarlyArticle", "genre": "journal-article", "author": [{"name": "Ugo Dal Lago", "@type": "Person"}, {"name": "Margherita Zorzi", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://www.numdam.org/article/ITA_2012__46_3_413_0.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "EDP Sciences", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1051/ita/2012012", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCb6mhrQy8cti-CTXKXz2ceLSNN-CDLxvvFLF3Ahm-CR9iR7EU6A17j", "propertyID": "ISCC"}], "datePublished": "2012-06-22"}, "schema": "schema.org", "mediatype": "application/ld+json"}]