Title: Semantics of the Probabilistic Typed Lambda Calculus
Subjects: Computer arithmetic