Pastawski, F. M. (2005). Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos. s.n.].
Chicago Style (17th ed.) CitationPastawski, Fernando Martín. Inferencia De Tipos Para Fˆ, Un λ Cálculo Polimórfico Con Terminación Basada En Tipos. [S.l.: s.n.], 2005.
MLA (9th ed.) CitationPastawski, Fernando Martín. Inferencia De Tipos Para Fˆ, Un λ Cálculo Polimórfico Con Terminación Basada En Tipos. s.n.], 2005.