prindi

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

autor
Draheim, Dirk
vastutusandmed
Dirk Draheim
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
2017
leheküljed
VIII, 218 p. : ill
leitav
https://doi.org/10.1007/978-3-642-55198-7
http://www.ester.ee/record=b4671951*est
märksõna
lambda-arvutus
semantika
ISBN
978-3-642-55197-0
märkused
Bibliogr. p. 193-209
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Draheim, D. Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics. Berlin : Springer, 2017. VIII, 218 p. : ill. https://doi.org/10.1007/978-3-642-55198-7 http://www.ester.ee/record=b4671951*est