Bisimulation as Path Type for Guarded Recursive Types