NWPT 2022 - Special issue - Barash, Mikhail; Din, Crystal Chang; Haveraaen, Magne (Journal of logical and algebraic methods in programming, 2025)