Full abstraction for digital circuits. - Dan R. Ghica; George Kaye; David Sprunger (CoRR, 2022)

Rewriting Modulo Traced Comonoid Structure. - Dan R. Ghica; George Kaye (FSCD, 2023)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics. - George Kaye (CoRR, 2025)