1 paper
Spencer Van Koevering, Wojciech Różowski, Alexandra Silva
We propose Weighted Guarded Kleene Algebra with Tests (wGKAT), an uninterpreted weighted programming language equipped with branching, conditionals, and loops. We provide an operat…