Semantics of the probabilistic Lambda Calculus By Dirk Draheim: Springer-Verlag, Berlin Heidelberg, DE, 26 January 2017, VIII+218 pp, 246x189mm, ISBN: 9783642551970 (Hardback, €124.79), ISBN: 9783662568729 (Paperback, €124.79)
Loreti, Michele
Formal Aspects of Computing, 2021, Vol.33 (3), p.457-458 [Periódico revisado por pares]London: Springer London
Texto completo disponível