A Metatheoretic Analysis of Subtype Universes, Felix Bradley and Zhaohui Luo

Published in the post-proceedings of TYPES 2022, Leibniz International Proceedings in Informatics (28 July 2023) [doi] [paper]