On Completeness of Logical Relations for Monadic Types

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_17 ◽

2007 ◽

pp. 223-230

Author(s):

Sławomir Lasota ◽

David Nowak ◽

Yu Zhang

Download Full-text