Types for Proofs and Programs

MLA

Miculan, Marino, et al. Types for Proofs and Programs. Springer Berlin Heidelberg, 2008.

APA

Miculan, M., Honsell, F., Kanade, T., & Scagnetto, I. (2008). Types for Proofs and Programs. Springer Berlin Heidelberg.

Chicago

Miculan, Marino, Furio Honsell, Takeo Kanade, and Ivan Scagnetto. Types for Proofs and Programs. : Springer Berlin Heidelberg, 2008.