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 • missing pub info (view editions)

nonfiction computer science mathematics science
Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...