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...

पूर्ण विवरण

ग्रंथसूची विवरण

निगमित लेखक:	SpringerLink (Online service)
अन्य लेखक:	Capretta, Venanzio (संपादक), Krebbers, Robbert (संपादक), Wiedijk, Freek (संपादक)
स्वरूप:	इलेक्ट्रोनिक ई-पुस्तक
भाषा:	अंग्रेज़ी
प्रकाशित:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
संस्करण:	1st ed. 2024.
श्रृंखला:	Lecture Notes in Computer Science, 14560
विषय:	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.
ऑनलाइन पहुंच:	https://doi.org/10.1007/978-3-031-61716-4
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!