Rajaa
Hakutulokset: lambda calculus with types
Tuote, jota etsit (ISBN 9781139891974)
on loppunut kustantajalta tai ei muusta syystä ole tällä hetkellä saatavilla.
Etsimme kuitenkin kirjoja hakusanalla lambda calculus with types , mikä antoi yksi hakutulos.
Etsimme kuitenkin kirjoja hakusanalla lambda calculus with types , mikä antoi yksi hakutulos.
Rajaa
Semantics of the Probabilistic Typed Lambda Calculus
e-kirja,
2017,
englanti,
ISBN 9783642551987
This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, …