1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Naohiko Hoshino
We give a geometry of interaction model for a typed lambda-calculus endowed with operators for sampling from a continuous uniform distribution and soft conditioning, namely a parad…