Logical relations for monadic types (0)

by S Lasota J Goubalt-Larrecq, D Nowak
Venue:Proceedings of the 16th International Workshop on Computer Science Logig(CSL ’02), Lecture Notes in Computer Science