Christina Kirk

According to our database¹, Christina Kirk authored at least 3 papers in 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

First-Order Rewriting.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2025

Proof Terms for Term Rewriting.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2025

Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025