1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Dylan Braithwaite, Jules Hedges
We generalise an existing construction of Bayesian Lenses to admit lenses between pairs of objects where the backwards object is dependent on states on the forwards object (interpr…