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

Dirk Draheimin teos pureutuu todennäköisyyspohjaisten ohjelmointikielten semantiikan perusteisiin ja esittelee Markovin ketjujen semantiikan todennäköisyyslausekkeiden tyypitetylle lambda-laskennalle.

Suitable for: Tietojenkäsittelytieteen tutkijoille ja niille, joita kiinnostaa todennäköisyyspohjainen ohjelmointi, satunnaiset algoritmit tai ohjelmointikielten teoria.