Semantics of the Probabilistic Typed Lambda Calculus (PDF)

Name: Semantics of the Probabilistic Typed Lambda Calculus
Brand: Springer-Verlag GmbH
SKU: 103362208
Price: 142.00 CHF
Availability: OnlineOnly

Markov Chain Semantics, Termination Behavior, and Denotational Semantics (Sprache: Englisch)

Autor: Dirk Draheim

Schreiben Sie einen Kommentar zu "Semantics of the Probabilistic Typed Lambda Calculus".

Semantics of the Probabilistic Typed Lambda Calculus, Dirk Draheim

Merken

This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic...

Mehr zum Inhalt Autorenporträt Video

eBook (pdf) Fr. 142.00

Buch (Gebunden) Fr. 156.90

sofort als Download lieferbar

Bestellnummer: 103362208

Printausgabe Fr. 156.90

eBook (pdf) Fr. 142.00

inkl. MwSt.

Download bestellen

Verschenken

Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
Autorenporträt
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Semantics of the Probabilistic Typed Lambda Calculus (PDF)“

The book starts with a recapitulation of the basic mathematical tools needed throughout the book, in particular Markov chains, graph theory and domain theory, and also explores the topic of inductive definitions. It then defines the syntax and establishes the Markov chain semantics of the probabilistic lambda calculus and, furthermore, both a graph and a tree semantics. Based on that, it investigates the termination behavior of probabilistic programs. It introduces the notions of termination degree, bounded termination and path stoppability and investigates their mutual relationships. Lastly, it defines a denotational semantics of the probabilistic lambda calculus, based on continuous functions over probability distributionsas domains.

The work mostly appeals to researchers in theoretical computer science focusing on probabilistic programming, randomized algorithms, or programming language theory.

Autoren-Porträt von Dirk Draheim

Dirk Draheim is full professor of information society technologies and head of the large-scale systems group at Tallinn University of Technology. From to 1990 to 2006 he worked as an IT project manager, IT consultant and IT author in Berlin. In summer 2006, he was Lecturer at the University of Auckland and from 2006-2008 he was area manager for database systems at the Software Competence Center Hagenberg as well as Adjunct Lecturer in information systems at the Johannes-Kepler-University Linz. From 2008 to 2016 he was head of the data center of the University of Innsbruck and, in parallel, from 2010 to 2016, Adjunct Reader at the Faculty of Information Systems of the University of Mannheim. Dirk is co-author of the Springer book "Form-Oriented Analysis" and author of the Springer book "Business Process Technology", and a member of the ACM.

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

Autor: Dirk Draheim
2017, 1st ed. 2017, 218 Seiten, Englisch
Verlag: Springer-Verlag GmbH
ISBN-10: 364255198X
ISBN-13: 9783642551987
Erscheinungsdatum: 28.02.2017

Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen

Dateiformat: PDF
Grösse: 2.24 MB
Ohne Kopierschutz
Vorlesefunktion

Sprache:

Englisch

Kommentar zu "Semantics of the Probabilistic Typed Lambda Calculus"

Schreiben Sie einen Kommentar zu "Semantics of the Probabilistic Typed Lambda Calculus".

0 Gebrauchte Artikel zu „Semantics of the Probabilistic Typed Lambda Calculus“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating