Mixing Induction and Coinduction (2009)

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