Gaya APA

Typed Lambda Calculi and Applications. (). : .

Gaya MLA

Typed Lambda Calculi and Applications. 1st ed. 2005.. : , . E Book.