Article Dans Une Revue
Mathematical Structures in Computer Science
Année : 2008
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03196102
Soumis le : lundi 12 avril 2021-14:40:38
Dernière modification le : mercredi 21 février 2024-12:42:22
Citer
Jean Goubault-Larrecq, Sławomir Lasota, David Nowak. Logical relations for monadic types. Mathematical Structures in Computer Science, 2008, 18 (06), pp.1169-1217. ⟨10.1017/S0960129508007172⟩. ⟨hal-03196102⟩
Collections
16
Consultations
0
Téléchargements