One-sorted Program Algebras
Given at Czech Gathering of Logicians in 2022 at Prague, Czech Republic
is part of
talks
made by Jamie Wannenburg