International Council for Science (ICSU) CODATA Special 01

First Page		Document Content
Date: 2013-06-25 00:00:00 Science Measurement International Council for Science Michael Zgurovsky International System of Units Coinduction Dimensionless physical constant Open data Data quality International standards International relations Committee on Data for Science and Technology		International Council for Science (ICSU) CODATA Special 01 Add to Reading List Source URL: www.codata.info Download Document from Source Website File Size: 154,47 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