Cita APA (7th ed.)
Capretta, V., Krebbers, R., & Wiedijk, F. (2024). Logics and Type Systems in Theory and Practice. Springer Nature.
Cita Chicago (17th ed.)
Capretta, Venanzio, Robbert Krebbers, i Freek Wiedijk. Logics and Type Systems in Theory and Practice. Springer Nature, 2024.
Cita MLA (9th ed.)
Capretta, Venanzio, et al. Logics and Type Systems in Theory and Practice. Springer Nature, 2024.
Atenció: Aquestes cites poden no estar 100% correctes.