Logics and Type Systems in Theory and Practice
Logics and Type Systems in Theory and Practice
Buch
- Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
- Herausgeber: Venanzio Capretta, Freek Wiedijk, Robbert Krebbers
- Springer Nature Switzerland, 05/2024
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031617157
- Bestellnummer: 11881664
- Umfang: 288 Seiten
- Auflage: 2024
- Gewicht: 441 g
- Maße: 235 x 155 mm
- Stärke: 16 mm
- Erscheinungstermin: 24.5.2024
- Serie: Lecture Notes in Computer Science - Band 14560
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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 his PhD from Radboud University in 1993 and he was promoted to full professor in Computer Assisted Reasoning in 2006. Prof. Geuvers is an internationally renowned researcher in the field of proof assistants, logic in computer science, lambda calculus, and type theory. He has been a steering committee chair of the TYPES and FSCD conferences, chair of related EU Cost Action projects, and program chair or editor of related conferences and special issues in the area of computer science logic. He is a successful, generous and inspiring advisor and educator. He has been director of education and director of research of the Computer Science Institute at Radboud University Nijmegen, and he is currently chair of the examination board of computer science and chair of the board of the Institute for Programming Research and Algorithmics, a Dutch national inter-university research school.
The contributions in this volume reflect Prof. Geuvers main research interests.
Mehr von Lecture Notes i...
![Mobile Web and Intelligent Information Systems, Buch](https://wom.de/image/h90/front/0/9783031680045.jpg)
Muhammad Younas
Mobile Web and Intelligent Information Systems
Buch
EUR 72,27*
![Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium, Buch](https://wom.de/image/h90/front/0/9783031592348.jpg)
Michael Harrison
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium
Buch
EUR 63,51*
![Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops, Buch](https://wom.de/image/h90/front/0/9783031660207.jpg)
Alessandro Aldini
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Buch
EUR 43,80*
![Architecture of Computing Systems, Buch](https://wom.de/image/h90/front/0/9783031661457.jpg)
Dietmar Fey
Architecture of Computing Systems
Buch
EUR 142,37*
![Trustworthy Artificial Intelligence for Healthcare, Buch](https://wom.de/image/h90/front/0/9783031677502.jpg)
Hao Chen
Trustworthy Artificial Intelligence for Healthcare
Buch
EUR 54,75*
![Logics and Type Systems in Theory and Practice, Buch](https://wom.de/image/w468/front/0/9783031617157.jpg)
Logics and Type Systems in Theory and Practice
EUR 131,42*