Livio Bioglio. Type disciplines for systems biology. In Stefano Bistarelli, Andrea Formisano, editors, Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. Volume 1231 of CEUR Workshop Proceedings, pages 11-13, CEUR-WS.org, 2014. [doi]