Research output per year
Research output per year
Research output
- 1 Chapter
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