1. Contributions to a computational theory of policy advice and avoidability*. (24th October 2017) Authors: BOTTA, NICOLA; JANSSON, PATRIK; IONESCU, CEZAR Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Extensional equality preservation and verified generic programming. (21st October 2021) Authors: BOTTA, NICOLA; BREDE, NURIA; JANSSON, PATRIK; RICHTER, TIM Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. On the correctness of monadic backward induction. (29th October 2021) Authors: BREDE, NURIA; BOTTA, NICOLA Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗