![Applied mathematics / Lambda calculus / Process calculi / Computer science / Theoretical computer science / Process calculus / Mathematics Applied mathematics / Lambda calculus / Process calculi / Computer science / Theoretical computer science / Process calculus / Mathematics](https://www.pdfsearch.io/img/70725e578c2a8a5f8f8f388ba96e1c8a.jpg)
| Document Date: 2012-08-28 04:35:20 Open Document File Size: 139,59 KBShare Result on Facebook
City Cambridge / / Company Microsoft / / IndustryTerm carrier set / exchange law corollary / / Person Tony Hoare / / Position General operational calculus / General operational calculus Derive rules / Chair / / ProgrammingLanguage R / /
SocialTag |