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. Vulnerability modelling with functional programming and dependent types. (15th December 2014) Authors: IONESCU, CEZAR Journal: Mathematical structures in computer science Issue: Volume 26:Number 1(2016) Page Start: 114 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗