39 citations · 146 across the 23 of their papers we have counts for
1 paper · 1 filter
Dexter Kozen, Nicholas Ruozzi
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step sh…