Cita APA

Barendregt, H. P., Dekkers, W., & Statman, R. (2013). Lambda calculus with types. Cambridge University Press.

Citación estilo Chicago

Barendregt, H. P., Wil Dekkers, and Richard Statman. Lambda Calculus With Types. Cambridge ; New York: Cambridge University Press, 2013.

Cita MLA

Barendregt, H. P., Wil Dekkers, and Richard Statman. Lambda Calculus With Types. Cambridge ; New York: Cambridge University Press, 2013.