Probabilistic lambda-calculus and quantitative program analysis (2005)

by A Di Pierro, C Hankin, H Wiklicky
Venue:Journal of Logic and Computation