Coercive Subtyping via Mappings of Reduction Behaviour

Paul Callaghan. Coercive Subtyping via Mappings of Reduction Behaviour. Electronic Notes in Theoretical Computer Science, 196:53-68, 2008. [doi]

Abstract

Abstract is missing.