Luke Serafin

According to our database¹, Luke Serafin authored at least 4 papers between 2016 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Morita Rigidity for Kleene Algebras.

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2026

2025

Kleene Algebrae, Kleene Modules, and Morita Equivalence.

[DOI]

CoRR, October, 2025

2017

A Formally Verified Proof of the Central Limit Theorem.

[DOI]

J. Autom. Reason., 2017

2016

On Generalizations of Separating and Splitting Families.

[DOI]

Electron. J. Comb., 2016