Journal Articles
Mathematical Structures in Computer Science
Year : 2008
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03196102
Submitted on : Monday, April 12, 2021-2:40:38 PM
Last modification on : Friday, March 24, 2023-2:53:21 PM
Cite
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
View
0
Download