Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday / edited by Venanzio Capretta, Robbert Krebbers, Freek Wiedijk
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 14560Publisher: Cham : Springer Nature Switzerland, 2024Publisher: Cham : Imprint: Springer, 2024Edition: 1st ed. 2024Description: 1 Online-Ressource(XII, 273 p. 49 illus., 11 illus. in color.)ISBN:- 9783031617164
- 4 23
- 004 23
No physical items for this record