George Kaye

According to our database¹, George Kaye authored at least 3 papers between 2022 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics.

[BibT_eX]

[DOI]

CoRR, February, 2025

2023

Rewriting Modulo Traced Comonoid Structure.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Full abstraction for digital circuits.

[BibT_eX]

[DOI]

CoRR, 2022