Semantics of the probabilistic typed lambda calculus: markov chain semantics, termination behavior, and denotational semantics
Auteur :
Draheim, Dirk
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783662568729
Date de publication :
4 mai 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Allemagne