Logics and Type Systems in Theory and Practice
de Venanzio Capretta, Robbert Krebbers, Freek Wiedijk
Ediciones (1)
- Logics and Type Systems in Theory and Practice (2024)
Springer · inglés · ISBN 9783031617157
de Venanzio Capretta, Robbert Krebbers, Freek Wiedijk
Springer · inglés · ISBN 9783031617157