Nuria Brede

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 6

Top Topics

Logical Structure

Datalog Queries

Forward Backward

Digital Preservation

Top Venues

J. Funct. Program.

Publications

Nuria Brede, Nicola Botta
On the correctness of monadic backward induction. J. Funct. Program. 31 (2021)
Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
Extensional equality preservation and verified generic programming. J. Funct. Program. 31 (2021)
Nuria Brede, Hugo Herbelin
On the logical structure of choice and bar induction principles. LICS (2021)
Nuria Brede, Hugo Herbelin
On the logical structure of choice and bar induction principles. CoRR (2021)
Nuria Brede, Nicola Botta
Semantic verification of dynamic programming. CoRR (2020)
Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
Extensional equality preservation and verified generic programming. CoRR (2020)