1 Ebooks por Robbert Krebbers
Venanzio Capretta & Robbert Krebbers: Logics and Type Systems in Theory and Practice
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 Universi …
EPUB
Inglês
DRM
€140.94