1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Arij Benkhadra, Isar Stubbe
We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contr…