Brandon Hewer, Graham Hutton. Subtyping Without Reduction. In Ekaterina Komendantskaya, editor, Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings. Volume 13544 of Lecture Notes in Computer Science, pages 34-61, Springer, 2022. [doi]
Abstract is missing.