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ä antoiyhteensä 2 hakutulosta
Etsimme kuitenkin kirjoja hakusanalla lambda calculus with types , mikä antoiyhteensä 2 hakutulosta
Rajaa
Semantics of the Probabilistic Typed Lambda Calculus
nidottu,
2018,
englanti,
ISBN 9783662568729
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, …
Semantics of the Probabilistic Typed Lambda Calculus
sidottu,
2017,
englanti,
ISBN 9783642551970
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, …