A quantitative combinatory logic. - Neil Anirvan Sagomisa Datta (2008)