The following pages link to Clément Fumex (Q1630032):
Displaying 6 items.
- Automating the verification of floating-point programs (Q1630033) (← links)
- A three-tier strategy for reasoning about floating-point numbers in SMT (Q2164244) (← links)
- Generic Fibrational Induction (Q2895473) (← links)
- Fibrational Induction Rules for Initial Algebras (Q3586050) (← links)
- Indexed Induction and Coinduction, Fibrationally (Q5891134) (← links)
- Indexed Induction and Coinduction, Fibrationally (Q5894256) (← links)
