![Theoretical computer science / Logic in computer science / Category theory / Formal methods / Bisimulation / Functional programming / Coinduction / Denotational semantics / F-coalgebra / Robin Milner / Type theory / Weak equivalence Theoretical computer science / Logic in computer science / Category theory / Formal methods / Bisimulation / Functional programming / Coinduction / Denotational semantics / F-coalgebra / Robin Milner / Type theory / Weak equivalence](https://www.pdfsearch.io/img/232f29b6804ca939969d5addd14f4662.jpg) 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 Website File Size: 2,09 MBShare Document on Facebook
|