61 citations · 74 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2021
On the logical structure of choice and bar induction principles
Nuria Brede, Hugo Herbelin
We develop an approach to choice principles and their contrapositive bar-induction principles as extensionality schemes connecting an ''intensional'' or ''effective'' view of respe…
cs.LO2020★ 7 cited
On the correctness of monadic backward induction
Nuria Brede, Nicola Botta
In control theory, to solve a finite-horizon sequential decision problem (SDP) commonly means to find a list of decision rules that result in an optimal expected total reward (or c…
cs.LO2020★ 5 cited
Extensional equality preservation and verified generic programming
Nicola Botta, Nuria Brede, Patrik Jansson +1
In verified generic programming, one cannot exploit the structure of concrete data types but has to rely on well chosen sets of specifications or abstract data types (ADTs). Functo…