Cita APA (7a ed.)

Copello, E. (2017). On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders.

Cita Chicago Style (17a ed.)

Copello, Ernesto. On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders. 2017.

Cita MLA (9a ed.)

Copello, Ernesto. On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders. 2017.