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
Lambda Calculus with Types
sidottu,
2013,
englanti,
ISBN 9780521766142
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The 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, …