Logics and Type Systems in Theory and Practice Dublin Core Títol Logics and Type Systems in Theory and Practice Autor Venanzio Capretta, Robbert Krebbers, Freek Wiedijk Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2024 Identificador 9783031617164 Font https://doi.org/10.1007/978-3-031-61716-4 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
