Figueiredo, L. C. d., & Camarão, C. (2001). Typing polymorphic recursion. Web
Citación estilo ChicagoFigueiredo, Lucília Camarão de, and Carlos Camarão. Typing Polymorphic Recursion. 2001.
Cita MLAFigueiredo, Lucília Camarão de, and Carlos Camarão. Typing Polymorphic Recursion. 2001.
Precaución: Estas citas no son 100% exactas.