George Kaye

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Abstraction Hierarchy

Data Abstraction

Integrity Constraints

Top Venues

Publications

Dan R. Ghica, George Kaye
Rewriting modulo traced comonoid structure. CoRR (2023)
Dan R. Ghica, George Kaye
Rewriting Modulo Traced Comonoid Structure. FSCD (2023)
Dan R. Ghica, George Kaye, David Sprunger
Full abstraction for digital circuits. CoRR (2022)