Logics and Type Systems in Theory and Practice
Subtitle: Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031617157