Subtype Universes

Research output

Research output per year 2023 2023 2023

• 1 Chapter

Research output per year

Research output per year

Search results

• 2023

  A Metatheoretic Analysis of Subtype Universes

  Bradley, F. & Luo, Z., 28 Jul 2023, (Accepted/In press) 28th International Conference on Types for Proofs and Programs (TYPES 2022): Leibniz International Proceedings in Informatics. Dagstuhl, Germany: Schloss Dagstuhl –Leibniz Center for Informatics, Vol. 269. 21 p.

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

  Open Access