#subtype universes

Blog Posts

Works
No posts found with this tag.

Works

Blog Posts

A Metatheoretic Analysis of Subtype Universes

28/07/2023
Felix BradleyZhaohui Luo
Published in Post-proceedings of TYPES 2022 in Leibniz International Proceedings in Informatics
paperdoi
#type theory#coercive subtyping#subtype universes

On the Metatheory of Subtype Universes

11/07/2023 - 14/07/2023
Felix BradleyZhaohui Luo
Presented at TYPES 2023 in Valencia, Spain
ext. abstractslides
#type theory#coercive subtyping#subtype universes

On the Metatheory of Subtype Universes

23/04/2023 - 24/04/2023
Felix BradleyZhaohui Luo
Presented at EuroProofNet Working Group 6 Meeting in Vienna, Austria
slides
#type theory#coercive subtyping#subtype universes