C. Berline, Retractions et interpr#tation interne du polymorphisme : le probl#me de la r#traction universelle, Informatique Th#orique et Applications /Theoretical Informatics and Applications, vol.26, n ffi 1; p.59-91, 1992.  Home/Search   Document Not in Database   Context   Related Articles

This paper is cited by the following papers:

Building continuous webbed models for System F - Berardi, Berline (1998)   (1 citation)  Self-citation (Berline)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC