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

First Page	Meta Content
	Coinduction Up-To in a Fibrational Setting Jurriaan Rot † Filippo Bonchi Daniela Petris¸an Damien Pous ∗ Add to Reading List Document Date: 2018-03-20 08:17:57 Open Document File Size: 382,60 KB Share Result on Facebook

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