Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics / by Dirk Draheim
Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer SciencePublisher: Berlin, Heidelberg : Springer, 2017Description: Online-Ressource (VIII, 218 p. 6 illus, online resource)ISBN:- 9783642551987
- QA75.5-76.95
No physical items for this record