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ä 3 hakutulosta
Etsimme kuitenkin kirjoja hakusanalla lambda calculus with types , mikä antoiyhteensä 3 hakutulosta
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, …
Lambda Calculus with Types
e-kirja,
2013,
englanti,
ISBN 9781107272248
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus …
Lambda Calculus with Types
e-kirja,
2013,
englanti,
ISBN 9781107272989
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus …