Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics by Dirk Draheim - Paperback

Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics by Dirk Draheim - Paperback

AED677.44
(0) Write a Review
SKU:
9783662568729
UPC:
9783662568729

Product Description

ISBN: 9783662568729
TITLE: Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics
AUTHOR: Dirk Draheim
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 4 May 2018

Other Details

ISBN:
9783662568729
Author:
Dirk Draheim
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:4 May 2018
Book Format:
Paperback

Related Products

Popular Trending Products