Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics.

DOI10.1007/s00165-021-00534-7OpenAlexW3162404308MaRDI QIDQ2050098

Michele Loreti

Publication date: 30 August 2021

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-021-00534-7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Combinatory logic and lambda calculus (03B40) External book reviews (00A17)

Cites Work

• Structural operational semantics for stochastic and weighted transition systems
• A uniform definition of stochastic process calculi
• A Compositional Approach to Performance Modelling

This page was built for publication: Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics.