3] Lars Birkedal and Robert Harper. Relational interpretations of recursive types in an operational setting (1996)

by CNRS INRIA-Rocquencourt, ENS Lyon