An edition of Semantics of the Probabilistic Typed Lambda Calculus (2017)
Semantics of the Probabilistic Typed Lambda Calculus
Markov Chain Semantics, Termination Behavior, and Denotational Semantics
By Dirk Draheim
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2017
Publisher
Springer London, Limited
Language
eng
Pages
223
Book Lists