One-sorted Program Algebras
Given at Logic, Algebra and Truth Degrees (LATD) and MOSAIC kick off meeting in 2022 at Paestum, Italy
is part of
talks
made by Jamie Wannenburg