Typed Lambda Calculi and Applications

MLA

Rocca, Simona Ronchi, et al. Typed Lambda Calculi and Applications. Springer Berlin Heidelberg, 2007.

APA

Rocca, S. Ronchi, Hutchison, D., Kanade, T., Ronchi Della Rocca, S., & Kittler, J. (2007). Typed Lambda Calculi and Applications. Springer Berlin Heidelberg.

Chicago

Rocca, Simona Ronchi, David Hutchison, Takeo Kanade, Simona Ronchi Della Rocca, and Josef Kittler. Typed Lambda Calculi and Applications. : Springer Berlin Heidelberg, 2007.