Abstract de la publi numéro 10203

A genericity theorem was obtained for system F (second order lambda caluclus) with stronger equality relation on terms. Later this theorem was used, for example, in the study of full abstraction problem by Abramsky et al.