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