Types for Proofs and Programs

MLA

Berardi, Stefano, et al. Types for Proofs and Programs. Springer Berlin Heidelberg, 2009.

APA

Berardi, S., Damiani, F., Kanade, T., & de Liguoro, U. (2009). Types for Proofs and Programs. Springer Berlin Heidelberg.

Chicago

Berardi, Stefano, Ferruccio Damiani, Takeo Kanade, and Ugo de Liguoro. Types for Proofs and Programs. : Springer Berlin Heidelberg, 2009.