Circular Coinduction with Special Contexts.

Dorel Lucanu, Grigore Rosu

Browse the full ICFEM paper archive.