Artemov, S., & Bonelli, E. The intensional lambda calculus. https://doi.org/10.1007/978-3-540-72734-7_2
Cita Chicago Style (17a ed.)Artemov, Sergei, y Eduardo Bonelli. The Intensional Lambda Calculus. https://doi.org/10.1007/978-3-540-72734-7_2.
Cita MLA (9a ed.)Artemov, Sergei, y Eduardo Bonelli. The Intensional Lambda Calculus. https://doi.org/10.1007/978-3-540-72734-7_2.
Precaución: Estas citas no son 100% exactas.