Filter
Sökt på: lambda calculus with types
Den utgåva du söker (isbn 9781139891974)
är slut på förlaget eller av annan anledning inte tillgänglig.
Vi gjorde istället en sökning på titeln lambda calculus with types vilket gav totalt 2 träffar
Vi gjorde istället en sökning på titeln lambda calculus with types vilket gav totalt 2 träffar
Filter
Lambda Calculus with Types
E-bok,
2013,
Engelska,
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 …
Från
1417 kr
Semantics of the Probabilistic Typed Lambda Calculus
E-bok,
2017,
Engelska,
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, …
E-bok
Titeln har utgått ur sortimentet
Önskelista
Titeln har utgått ur sortimentet