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
mark as owned
More Options
add to favorites

Browse Similar Books

Read With Others

Start a Readalong

Start a Buddy Read

Book Information

Add Missing Information

Report Missing/Incorrect Information

Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...