Devin Bostick

Inside the Width: Trajectory Structure of Nonconservative Erasure

Abstract When a collection of requirements, distinctions, or certificates is reduced, when does removing several items preserve the same semantic value, and when can locally valid removal certificates fail when combined? This note isolates an elementary answer at the level of an...