Back to Results
First PageMeta Content
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


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 strategies
Add to Reading List

Document Date: 2012-10-10 03:52:07


Open Document

File Size: 2,09 MB

Share Result on Facebook