Gaya APA

service), S, (., Urzyczyn, P. (). Typed Lambda Calculi and Applications (1st ed. 2005.). : .

Gaya MLA

service), SpringerLink, (Online., Urzyczyn, Pawel.. "Typed Lambda Calculi and Applications". 1st ed. 2005. : , . E Book.