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
Bradley, F. (Speaker)
14 Jun 2023
Activity: Talk, presentation or media contribution › Oral presentation

File
On the Metatheory of Subtype Universes
Bradley, F. (Speaker)
24 Apr 2023
Activity: Talk, presentation or media contribution › Oral presentation

File