Report on CODATA Activities, Second Quarter of 2003

First Page		Document Content
Date: 2013-06-25 01:00:00 Committee on Data for Science and Technology Information and communication technologies for development Information society World Summit on the Information Society International Council for Science Coinduction		Report on CODATA Activities, Second Quarter of 2003 Add to Reading List Source URL: www.codata.info Download Document from Source Website File Size: 118,08 KB Share Document on Facebook

	Coinduction Up-To in a Fibrational Setting Jurriaan Rot † Filippo Bonchi Daniela Petris¸an Damien Pous ∗ DocID: 1uIga - View Document
	1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still DocID: 1qXxc - View Document
	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu DocID: 1qD8k - View Document
	Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/ DocID: 1qoEe - View Document
	Report on CODATA Activities, Second Quarter of 2003 DocID: 1pgGM - View Document