Logical relations for monadic types - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2008

Dates et versions

hal-03196102 , version 1 (12-04-2021)

Identifiants

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⟩
16 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More