2018-01-24: Jurriaan Rot (Radboud University Nijmegen)

Sat, 21 Oct 2023 21:24:08 +0100

Jurriaan Rot (Radboud University Nijmegen)

Coinduction and the Companion

Abstract

The coinductive proof method can be enhanced by several techniques, often referred to as up-to-techniques. I will talk about the basic theory of coinduction-up-to, and a little about the more recent notion of companion. This companion is the largest valid up-to technique for a given predicate, and gives a nice way of working with coinduction up-to.

2018-01-24 15:00:00 UTC
LT1310