Probabilistic Lambda-calculus and Quantitative Program Analysis (2005)

by Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Venue:Mathematical Structures in Computer Science