Information and Knowledge A Constructive Type-theoretical Approach Primiero Giuseppe Heftet / 2010 / Engelsk
Information and Knowledge A Constructive Type-theoretical Approach Primiero Giuseppe Innbundet / 2007 / Engelsk
Acts of Knowledge: History, Philosophy and Logic Essays Dedicated to Goran Sundholm Primiero Giuseppe Heftet / 2009 / Engelsk
Reflections on Programming Systems Historical and Philosophical Aspects De Mol, Liesbeth Innbundet / 2019 / Engelsk
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings Manea Florin Heftet / 2019 / Engelsk
