Typed Lambda Calculi and Applications

MLA

Kanade, Takeo, and Josef Kittler. Typed Lambda Calculi and Applications. Springer Berlin / Heidelberg, 2005.

APA

Kanade, T., & Kittler, J. (2005). Typed Lambda Calculi and Applications. Springer Berlin / Heidelberg.

Chicago

Kanade, Takeo, and Josef Kittler. Typed Lambda Calculi and Applications. : Springer Berlin / Heidelberg, 2005.