29 citations · 81 across the 22 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Integration in Cones
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…
cs.LO2022★ 3 cited
A coherent differential PCF
Thomas Ehrhard
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as…