Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University Nijmegen and holds a part-time professorship at Eindhoven University of Technology. He received h...

Descrición completa

Detalles Bibliográficos

Autor Corporativo:	SpringerLink (Online service)
Outros autores:	Capretta, Venanzio (Editor), Krebbers, Robbert (Editor), Wiedijk, Freek (Editor)
Formato:	Electrónico eBook
Idioma:	inglés
Publicado:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edición:	1st ed. 2024.
Series:	Lecture Notes in Computer Science, 14560
Subjects:	Computer science. Computer science > Mathematics. Mathematics. Computer Science. Computer Science Logic and Foundations of Programming. Mathematical Applications in Computer Science. Applications of Mathematics. Mathematics of Computing.
Acceso en liña:	https://doi.org/10.1007/978-3-031-61716-4
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!