Proof Repair and (Co)algebra Equivalences

(arxiv.org)

2 points | by matt_d 9 hours ago ago