Gaya APA

Mathijssen, M, J, G, A, A. (2010). A Nominal Axiomatization of the Lambda Calculus . : .

Gaya MLA

Mathijssen, Murdoch, J., Gabbay, And, Aad. "A Nominal Axiomatization of the Lambda Calculus". : , 2010. Text.