Parity games and inductive/coinductive types

We propose parity games, standard tools in verication, to model
inductive and coinducitve types.