Typed Lambda Calculi and Applications

MLA

Hasegawa, Masahito. Typed Lambda Calculi and Applications. Springer Berlin Heidelberg, 2013.

APA

Hasegawa, M. (2013). Typed Lambda Calculi and Applications. Springer Berlin Heidelberg.

Chicago

Hasegawa, Masahito Typed Lambda Calculi and Applications. : Springer Berlin Heidelberg, 2013.