Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics /

QR Code

Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics /

Bibliographic Details
Main Author:	Draheim, Dirk. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Subjects:	Information theory. Computer science. Theory of Computation. Programming Languages, Compilers, Interpreters. Probability and Statistics in Computer Science.

Similar Items

Doubly Classified Model with R /
by: Tan, Teck Kiang.
Published: (2017)

Generalized Jeffrey Conditionalization : A Frequentist Semantics of Partial Conditionalization /
by: Draheim, Dirk.
Published: (2017)

Java Lambdas and Parallel Streams
by: Müller, Michael.
Published: (2016)

Common Lisp Recipes A Problem-Solution Approach /
by: Weitz, Edmund.
Published: (2016)

Learn to Program with C /
by: Kalicharan, Noel.
Published: (2015)

Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
by: Boulé, Marc., et al.
Published: (2008)

Pro React /
by: de Sousa Antonio, Cassio.
Published: (2015)

Typed PHP : Stronger Types For Cleaner Code /
by: Pitt, Christopher.
Published: (2016)

MATLAB Differential and Integral Calculus /
by: Lopez, Cesar.
Published: (2014)

MATLAB Symbolic Algebra and Calculus Tools /
by: Lopez, Cesar.
Published: (2014)

Mastering Structured Data on the Semantic Web : From HTML5 Microdata to Linked Open Data /
by: Sikos, Leslie.
Published: (2015)

Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /
Published: (2017)

Programming with Scala : Language Exploration /
by: Upadhyaya, Bhim P.
Published: (2017)

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings /
Published: (2017)

Pro Smartphone Cross-Platform Development : iPhone, Blackberry, Windows Mobile and Android Development and Distribution /
by: Allen, Sarah., et al.
Published: (2010)

Learn Java for Android Development /
by: Friesen, Jeff.
Published: (2013)

SPSS for Starters /
by: Cleophas, Ton J., et al.
Published: (2010)

Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings /
Published: (2017)

Programming Language Concepts /
by: Sestoft, Peter.
Published: (2017)

Software Reading Techniques : Twenty Techniques for More Effective Software Review and Inspection /
by: Zhu, Yang‐Ming.
Published: (2016)

Understanding SQL
by: Lynch, Elizabeth.
Published: (1990)

Learn Swift on the Mac For OS X and iOS /
by: Malik, Waqar.
Published: (2015)

Programming by Case Studies An Algol Primer /
by: Chedzoy, O.B., et al.
Published: (1969)

COBOL From Pascal
by: Tyrrell, A.J.
Published: (1989)

Expert F# 4.0 /
by: Syme, Don., et al.
Published: (2015)

Introduction to Compiler Design /
by: Mogensen, Torben Ægidius.
Published: (2017)

Ruby Recipes : A Problem-Solution Approach /
by: Mandal, Malay.
Published: (2016)

Swift 3 for Absolute Beginners /
by: Bennett, Gary., et al.
Published: (2016)

C++ Standard Library Quick Reference
by: Van Weert, Peter., et al.
Published: (2016)

C++ 14 Quick Syntax Reference : Second Edition /
by: Olsson, Mikael.
Published: (2015)

Practical C /
by: Zambon, Giulio.
Published: (2016)

Erlang and Elixir for Imperative Programmers
by: Loder, Wolfgang.
Published: (2016)

Go Recipes : A Problem-Solution Approach /
by: Varghese, Shiju.
Published: (2016)

Creating Maintainable APIs A Practical, Case-Study Approach /
by: Varga, Ervin.
Published: (2016)

Xamarin Mobile Application Development : Cross-Platform C# and Xamarin.Forms Fundamentals /
by: Hermes, Dan.
Published: (2015)

Low Level X Window Programming An Introduction by Examples /
by: Maloney, Ross J.
Published: (2017)

Introduction to occam 2 on the Transputer
by: Brookes, Graham R., et al.
Published: (1989)

Web Development with Go : Building Scalable Web Apps and RESTful Services /
by: Varghese, Shiju.
Published: (2015)

JavaScript Frameworks for Modern Web Dev
by: Ambler, Tim., et al.
Published: (2015)

PHP Objects, Patterns, and Practice /
by: ZANDSTRA, MATT.
Published: (2016)