Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle

C. Berline

RAIRO-Theor. Inf. Appl., 26 1 (1992) 59-91

Published online: 2017-02-01

DOI: https://doi.org/10.1051/ita/1992260100591

This article has been cited by the following article(s):

Building continuous webbed models for system F

S. Berardi and C. Berline
Theoretical Computer Science 315 (1) 3 (2004)
DOI: 10.1016/j.tcs.2003.11.011
See this article

Building continuous webbed models for system F

S. Berardi and C. Berline
Electronic Notes in Theoretical Computer Science 35 3 (2000)
DOI: 10.1016/S1571-0661(05)80724-8
See this article