29 citations · 32 across the 9 of their papers we have counts for
1 paper · 1 filter
Thomas Ehrhard, Michele Pagani, Christine Tasson
We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives…