Logical relations for monadic types (2002)

by J Goubault-Larrecq, S Lasota, D Nowak
Venue:In Proceedings of the 16th International Workshop on Computer Science Logic (CSL’02). Springer-Verlag LNCS