Complex sentence: He is well known for playing a leading role in the development of game semantics, domain theory in logical form, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and the geometry of interaction.
Split into simpler sentences: He is well known for playing a leading role in the development of domain theory in logical form. He has made significant contributions to the areas of game semantics, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and the geometry of interaction.