Coinduction Up-To in a Fibrational Setting Jurriaan Rot † Filippo Bonchi Daniela Petris¸an Damien Pous ∗

First Page		Document Content
Date: 2018-03-20 08:17:57		Coinduction Up-To in a Fibrational Setting Jurriaan Rot † Filippo Bonchi Daniela Petris¸an Damien Pous ∗ Add to Reading List Source URL: www.irif.fr Download Document from Source Website File Size: 382,60 KB Share Document on Facebook