Mixing Induction and Coinduction (2009)

by Nils Anders Danielsson , Thorsten Altenkirch
Citations:3 - 0 self