Probabilistic /lambda-calculus and Quantitative Program Analysis

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky. Probabilistic /lambda-calculus and Quantitative Program Analysis. Journal of Logic and Computation, 15(2):159-179, 2005. [doi]

Abstract

Abstract is missing.