この方向でSamsonAbramsky、RadhakrishnanJagadeesan、RasqualeMalacariaや、（それとは別に）MaritinHylandとLukeOngが研究を進め、合成性に重点を置いた（すなわち、文法から機能的に戦略を定義する）。
这个路线进一步由SamsonAbramsky、RadhakrishnanJagadeesan、PasqualeMalacaria和独立的由MartinHyland和LukeOng发展，对组合性加以特别强调，就是递归的在语法上定义策略。