Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday Capretta, Venanzio Heftet / 2024 / Engelsk
