Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on the Occasion o

book

発売日

: 2024年

著者／編集

: Venanzio Capretta/Robbert Krebbers/Freek Wiedijk

出版社

: SPRINGER NATURE

価格

: 38,192

ISBN

: 9783031617157