Similarity Quotients as Final Coalgebras.

Paul Blain Levy

Browse the full FOSSACS paper archive.