Gaya APA
Hasegawa, M.
(2013).
Typed Lambda Calculi and Applications
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Hasegawa, Masahito.
"Typed Lambda Calculi and Applications".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.