Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics by Dirk Draheim

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Dirk Draheim

218 pages hardcover

2 editions

nonfiction computer science mathematics science
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...