Nuria Brede

Orcid: 0000-0003-4435-7960

According to our database¹, Nuria Brede authored at least 5 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2024

On monadic backward induction and extensional equality preservation in intensional type theory.

[BibT_eX]

[DOI]

Nuria Brede

PhD thesis, 2024

2021

On the correctness of monadic backward induction.

[BibT_eX]

[DOI]

Nuria Brede

Nicola Botta

J. Funct. Program., 2021

Extensional equality preservation and verified generic programming.

[BibT_eX]

[DOI]

J. Funct. Program., 2021

On the logical structure of choice and bar induction principles.

[BibT_eX]

[DOI]

Nuria Brede

Hugo Herbelin

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

2020

Semantic verification of dynamic programming.

[BibT_eX]

[DOI]

Nuria Brede

Nicola Botta

CoRR, 2020

Nuria Brede

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...