Kamareddine, F., & Ríos, A. Pure type systems with de Bruijn indices.
Cita Chicago Style (17a ed.)Kamareddine, F., y A. Ríos. Pure Type Systems with De Bruijn Indices.
Cita MLA (8a ed.)Kamareddine, F., y A. Ríos. Pure Type Systems with De Bruijn Indices.
Precaución: Estas citas no son 100% exactas.