- Preview Available
- Scholarly Journal
Logical relations for monadic types
Logical relations for monadic typesGOUBAULT-LARRECQ, JEAN; LASOTA, SLAWOMIR; NOWAK, DAVID.
Mathematical Structures in Computer Science: MSCS; Cambridge Vol. 18, Iss. 6, (Dec 2008): 1169-1217.
DOI:10.1017/S0960129508007172
This is a limited preview of the full PDF
Try and log in through your library or institution to see if they have access.





