Free Download 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) by Venanzio Capretta, Robbert Krebbers, Freek Wiedijk English | May 24, 2024 | ISBN: 3031617150 | 285 pages | PDF | 7.06 Mb This