Typed Lambda Calculi and Applications

MLA

Ong, Luke, Takeo Kanade, and Josef Kittler. Typed Lambda Calculi and Applications. Springer Berlin Heidelberg, 2011.

APA

Ong, L., Kanade, T., & Kittler, J. (2011). Typed Lambda Calculi and Applications. Springer Berlin Heidelberg.

Chicago

Ong, Luke, Takeo Kanade, and Josef Kittler. Typed Lambda Calculi and Applications. : Springer Berlin Heidelberg, 2011.