1 paper
Hubie Chen, Riccardo Pucella
Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Klee…