First Page | Document Content | |
---|---|---|
Date: 2012-10-10 03:52:07Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence | Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategiesAdd to Reading ListSource URL: events.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 2,09 MBShare 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, stillDocID: 1qXxc - View Document | |
Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei PopescuDocID: 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 2003DocID: 1pgGM - View Document |