Types for Proofs and Programs

MLA

Altenkirch, Thorsten, et al. Types for Proofs and Programs. Springer Berlin Heidelberg, 2007.

APA

Altenkirch, T., Kanade, T., & McBride, C., Kittler, J., & McBride, C. (2007). Types for Proofs and Programs. Springer Berlin Heidelberg.

Chicago

Altenkirch, Thorsten, Takeo Kanade, Conor McBride, Josef Kittler, and Connor McBride. Types for Proofs and Programs. : Springer Berlin Heidelberg, 2007.