Nuria Brede

According to our database, Nuria Brede authored at least 4 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

On the correctness of monadic backward induction.

Nuria Brede, Nicola Botta

J. Funct. Program., 2021

Extensional equality preservation and verified generic programming.

Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter

J. Funct. Program., 2021

On the logical structure of choice and bar induction principles.

Nuria Brede, Hugo Herbelin

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Semantic verification of dynamic programming.

Nuria Brede, Nicola Botta

CoRR, 2020