You are about to access our book library "Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday (Lecture Notes in Computer Science Book 14560) full version" .