Types for Proofs and Programs

MLA

Filliâtre, Jean-Christophe, et al. Types for Proofs and Programs. Springer Berlin / Heidelberg, 2006.

APA

Filliâtre, J., Kanade, T., Paulin-Mohring, C., & Werner, B. (2006). Types for Proofs and Programs. Springer Berlin / Heidelberg.

Chicago

Filliâtre, Jean-Christophe, Takeo Kanade, Christine Paulin-Mohring, and Benjamin Werner. Types for Proofs and Programs. : Springer Berlin / Heidelberg, 2006.