03531nam a22005295i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001700172072001500189072002300204072001400227245021400241250001800455264006900473300006500542336002600607337002600633338003600659347002400695490005900719520127500778650002902053650004202082650002402124650002902148650006602177650005802243650004002301650003702341700015502378700008702533700008402620710003402704773002602738776003602764776003602800830005902836856004602895912001402941912001502955912001402970999001702984978-3-031-61716-4DE-He21320251030112054.0cr nn 008mamaa240522s2024    sz |    s    |||| 0|eng d  a97830316171649978-3-031-61716-47 a10.1007/978-3-031-61716-42doi 4aQA75.5-76.95 7aUY2bicssc 7aCOM0000002bisacsh 7aUY2thema10aLogics and Type Systems in Theory and Practiceh[electronic resource] :bEssays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /cedited by Venanzio Capretta, Robbert Krebbers, Freek Wiedijk.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aXII, 273 p. 49 illus., 11 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLecture Notes in Computer Science,x1611-3349 ;v14560  aThis 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. 0aComputer science.958552 0aComputer sciencexMathematics.964041 0aMathematics.96552314aComputer Science.95855224aComputer Science Logic and Foundations of Programming.96817324aMathematical Applications in Computer Science.96551824aApplications of Mathematics.96552924aMathematics of Computing.9665011 aCapretta, Venanzio.eeditor.0(orcid)0000-0003-1220-77061https://orcid.org/0000-0003-1220-77064edt4http://id.loc.gov/vocabulary/relators/edt9772451 aKrebbers, Robbert.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9772461 aWiedijk, Freek.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9772472 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303161715708iPrinted edition:z9783031617171 0aLecture Notes in Computer Science,x1611-3349 ;v1456040uhttps://doi.org/10.1007/978-3-031-61716-4  aZDB-2-SCS  aZDB-2-SXCS  aZDB-2-LNC  c60041d60041