出典:Wikipedia
出典:『Wikipedia』 (2011/06/15 21:07 UTC 版)
Samson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory. He is well known for playing a leading role in the development of game semantics. He has made significant contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and the geometry of interaction.