{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:41:38Z","timestamp":1725910898479},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319677286"},{"type":"electronic","value":"9783319677293"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67729-3_5","type":"book-chapter","created":{"date-parts":[[2017,9,16]],"date-time":"2017-09-16T05:04:04Z","timestamp":1505538244000},"page":"70-76","source":"Crossref","is-referenced-by-count":0,"title":["A Probabilistic Semantics for the Pure $$\\lambda $$ -Calculus"],"prefix":"10.1007","author":[{"given":"Alessandra","family":"Di Pierro","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,17]]},"reference":[{"key":"5_CR1","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"The Lambda Calculus","author":"HP Barendregt","year":"1991","unstructured":"Barendregt, H.P.: The Lambda Calculus. Studies in Logic and the Foundations of Mathematics, vol. 103. North-Holland, Amsterdam (1991). revised edn"},{"unstructured":"Debnath, L., Mikusinski, P.: Introduction to Hilbert Spaces with Applications. 3rd revised edn. Elsevier Science Publishing, San Diego (2005). reprint from Academic Press edition 2005","key":"5_CR2"},{"key":"5_CR3","series-title":"Graduate Studies in Mathematics","volume-title":"Fundamentals of the Theory of Operator Algebras: Volume I \u2013 Elementary Theory","author":"R Kadison","year":"1997","unstructured":"Kadison, R., Ringrose, J.: Fundamentals of the Theory of Operator Algebras: Volume I \u2013 Elementary Theory. Graduate Studies in Mathematics, vol. 15. American Mathematical Society, Providence (1997). reprint from Academic Press edition 1983"},{"key":"5_CR4","volume-title":"Advanced Linear Algebra","author":"S Roman","year":"2005","unstructured":"Roman, S.: Advanced Linear Algebra, 2nd edn. Springer, Heidelberg (2005)","edition":"2"},{"key":"5_CR5","volume-title":"Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach","author":"K Slonneger","year":"1995","unstructured":"Slonneger, K., Kurtz, B.: Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)","edition":"1"},{"key":"5_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55198-7","volume-title":"Semantics of the Probabilistic Typed Lambda Calculus - Markov Chain Semantics, Termination Behavior, and Denotational Semantics","author":"D Draheim","year":"2017","unstructured":"Draheim, D.: Semantics of the Probabilistic Typed Lambda Calculus - Markov Chain Semantics, Termination Behavior, and Denotational Semantics. Springer, Heidelberg (2017). doi:\n10.1007\/978-3-642-55198-7"},{"doi-asserted-by":"crossref","unstructured":"Ehrhard, T., Pagani, M., Tasson, C.: The computational meaning of probabilistic coherence spaces. In: 2011 IEEE 26th Annual Symposium on Logic in Computer Science, pp. 87\u201396 (2011)","key":"5_CR7","DOI":"10.1109\/LICS.2011.29"},{"issue":"3","key":"5_CR8","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1016\/0022-0000(81)90036-2","volume":"22","author":"D Kozen","year":"1981","unstructured":"Kozen, D.: Semantics of probabilistic programs. J. Comput. Syst. Sci. 22(3), 328\u2013350 (1981)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67729-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,16]],"date-time":"2017-09-16T05:05:24Z","timestamp":1505538324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67729-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319677286","9783319677293"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67729-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}