Research output per year
Research output per year
Research output
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 -
2022
Universes in Type-Theoretical Semantics (paper accompanying an invited talk)
Luo, Z., 15 Jun 2022, (Accepted/In press) LACompLing 2021. (Studies in Computational Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Chapter
15 Downloads (Pure)