print

Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics

author
Draheim, Dirk
statement of authorship
Dirk Draheim
location of publication
Berlin
publisher
Springer-Verlag
year of publication
2017
pages
VIII, 218 p. : ill
url
https://doi.org/10.1007/978-3-642-55198-7
http://www.ester.ee/record=b4671951*est
subject term
lambda-arvutus
semantika
ISBN
978-3-642-55197-0
notes
Bibliogr. p. 193-209
TTÜ department
tarkvarateaduse instituut
language
inglise
Draheim, D. Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics. Berlin : Springer-Verlag, 2017. VIII, 218 p. : ill. https://doi.org/10.1007/978-3-642-55198-7 http://www.ester.ee/record=b4671951*est