ACM Fellows
United Kingdom - 2014
citation
For contributions to domains in logical form, game semantics, categorical quantum mechanics, and contextual semantics.
citation
For contributions to domains in logical form, game semantics, categorical quantum mechanics, and contextual semantics.