1 paper
Thomas Ehrhard, Guillaume Geoffroy
Measurable cones, with linear and measurable functions as morphisms, are a model of intuitionistic linear logic and of call-by-name probabilistic PCF which accommodates "continuous…