Badacze opracowali formalny matematyczny framework do analizy sterowanego wykonywania programów poprzez kategorią monoidalne i algebry efektów. Praca dotyczy teoretycznych podstaw semantyki obliczeniowej, szczególnie jak modelować kontrolę i granice wykonywania procesów. To głęboko teoretyczne podejście może wpłynąć na lepsze zrozumienie i veryfikację skomplikowanych systemów AI oraz języków programowania.