Hasegawa. (2013). Typed Lambda Calculi and Applications (1.). Springer Berlin Heidelberg.
Cytowanie według stylu Chicago (wyd. 17)Hasegawa. Typed Lambda Calculi and Applications. 1. Springer Berlin Heidelberg, 2013.
Cytowanie według stylu MLA (wyd. 8)Hasegawa. Typed Lambda Calculi and Applications. 1. Springer Berlin Heidelberg, 2013.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..