undefined | Better HN

0 pointschriswarbo4y ago0 comments

Co-inductive methods are useful for that sort of thing.

For example, we can prove two infinite streams are equal by showing that their definitions/generators are "bisimilar".

0 comments

But the question is not whether their infinite extensions or limit are equal, but whether at each finite combination some property about the stream progress holds.

j / k navigate · click thread line to collapse

0 pointschriswarbo4y ago0 comments

Co-inductive methods are useful for that sort of thing.

For example, we can prove two infinite streams are equal by showing that their definitions/generators are "bisimilar".

0 comments

maweki4y ago

But the question is not whether their infinite extensions or limit are equal, but whether at each finite combination some property about the stream progress holds.

j / k navigate · click thread line to collapse