Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Practice
Autor
Venanzio Capretta, Robbert Krebbers, Freek Wiedijk
Matèria
Editor
Springer Nature
Data publicació
2024
Identificador
9783031617164
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-61716-4