Intrinsically Correct Algorithms and Recursive Coalgebras

Cass Alexandru, Henning Urbat, Thorsten Wißmann

Recursive coalgebras provide an elegant categorical tool for modelling recursive algorithms and analysing their termination and correctness. By considering coalgebras over categori…