1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 1 cited
Intrinsically Correct Sorting in Cubical Agda
Cass Alexandru, Vikraman Choudhury, Jurriaan Rot +1
The paper "Sorting with Bialgebras and Distributive Laws" by Hinze et al. uses the framework of bialgebraic semantics to define sorting algorithms. From distributive laws between f…
cs.LO2021
Formalizing Higher-Order Termination in Coq
Deivid Vale, Niels van der Weide
We describe a formalization of higher-order rewriting theory and formally prove that an AFS is strongly normalizing if it can be interpreted in a well-founded domain. To do so, we…