Cita APA (7a ed.)

Fridlender, D., & Pagano, M. (2022). Pure type systems with explicit substitutions.

Cita Chicago Style (17a ed.)

Fridlender, Daniel, y Miguel Pagano. Pure Type Systems with Explicit Substitutions. 2022.

Cita MLA (8a ed.)

Fridlender, Daniel, y Miguel Pagano. Pure Type Systems with Explicit Substitutions. 2022.