54 citations · 125 across the 18 of their papers we have counts for
1 paper · 2 filters
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…