Semantic verification of dynamic programming. - Nuria Brede; Nicola Botta (CoRR, 2020)

On the logical structure of choice and bar induction principles. - Nuria Brede; Hugo Herbelin (LICS, 2021)

Extensional equality preservation and verified generic programming. - Nicola Botta; Nuria Brede; Patrik Jansson; Tim Richter (J. Funct. Program., 2021)

On the correctness of monadic backward induction. - Nuria Brede; Nicola Botta (J. Funct. Program., 2021)