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

vastutusandmed
Dirk Draheim
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
VIII, 218 p. : ill
märksõna
lambda-arvutus
ISBN
978-3-642-55197-0
märkused
Bibliogr. p. 193-209
TTÜ struktuuriüksus
keel
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.