betaeta-complete models for System F

• Autores: S. Berardi, C. Berline
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 12, Nº 6, 2002, págs. 823-874
• Idioma: inglés
• Texto completo no disponible (Saber más ...)