Logical relations for monadic types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Mathematical Structures in Computer Science Year : 2008

Logical relations for monadic types

Domains

Logic in Computer Science [cs.LO]

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 : Wednesday, February 21, 2024-12:42:22 PM

Consult the full text

Dates and versions

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

Identifiers

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN ENS-PARIS-SACLAY
16 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More