Harvesting optimization with stochastic differential equations models: is the optimal enemy of the good?
Book of Abstracts: International Workshop on Mathematics and Physical Sciences
Stateful Realizers for Nonstandard Analysis
Hardwiring truth in functional interpretations