Cita APA

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

Citación estilo Chicago

Fridlender, Daniel, and Miguel Pagano. Pure Type Systems With Explicit Substitutions. 2015.

Cita MLA

Fridlender, Daniel, and Miguel Pagano. Pure Type Systems With Explicit Substitutions. 2015.

Precaución: Estas citas no son 100% exactas.