Typed Lambda Calculi and Applications

MLA

Curien, Pierre-Louis, Takeo Kanade, and Josef Kittler. Typed Lambda Calculi and Applications. Springer Berlin Heidelberg, 2009.

APA

Curien, P., Kanade, T., & Kittler, J. (2009). Typed Lambda Calculi and Applications. Springer Berlin Heidelberg.

Chicago

Curien, Pierre-Louis, Takeo Kanade, and Josef Kittler. Typed Lambda Calculi and Applications. : Springer Berlin Heidelberg, 2009.