Logical Relations and Data Abstraction (1996)

Cached

Download Links

by John Power , Edmund Robinson
Venue:Proc. Computer Science Logic, CSL 2000, Fischbachau. Springer LNCS 1862
Citations:4 - 1 self