Games and full abstraction for a functional metalanguage with recursive typesGuy McCuskerÉpuisé4,3Prévenez-moi
