Can anyone refer me to material in which the CH-isomorphism for logics with subtyping is studied? Your help is appreciated! -- Dirk [All, Please send your replies to Dirk. Dirk, Please summarise your replies to the Types Forum. -- Philip Wadler, moderator, Types Forum.]