A Metatheoretic Analysis of Subtype Universes

Felix Bradley, Zhaohui Luo

Research output: Chapter in Book/Report/Conference proceeding › Chapter

2 results
- Title
- Start date(ascending)

Filter

On the Metatheory of Subtype Universes (TYPES23)
Felix Bradley (Speaker)
12 Jun 2023 → 15 Jun 2023
Activity: Talk or presentation › Oral presentation

File
On the Metatheory of Subtype Universes (WG6)
Felix Bradley (Speaker)
24 Apr 2023
Activity: Talk or presentation › Oral presentation

File