Logical relations for monadic types
GOUBAULT-LARRECQ, JEAN, LASOTA, SŁAWOMIR, NOWAK, DAVIDVolume:
18
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129508007172
Date:
December, 2008
File:
PDF, 598 KB
english, 2008