Universes in Type-Theoretical Semantics (paper accompanying an invited talk). / Luo, Zhaohui.

LACompLing 2021. 2022. (Studies in Computational Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapter

Forthcoming
Original languageEnglish
Title of host publicationLACompLing 2021
Publication statusAccepted/In press - 15 Jun 2022

Publication series

NameStudies in Computational Intelligence
PublisherSringer

ID: 45712150