Hacker News new | ask | show | jobs
Kleene Algebra (arxiv.org)
3 points by ahsillyme 207 days ago