Mixing Induction and Coinduction (0)

by N A Danielsson, T Altenkirch