40 citations · 142 across the 19 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014
Program certification with computational effects
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici +1
Dynamic evaluation is a paradigm in computer algebra which was introduced for computing with algebraic numbers. In linear algebra, for instance, dynamic evaluation can be used to a…
cs.LO2014★ 40 cited
Coinduction up to in a fibrational setting
Filippo Bonchi, Daniela Petrisan, Damien Pous +1
Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof techniques for checking properties of different kinds of systems. We prove the…