Universes in Type-Theoretical Semantics (paper accompanying an invited talk)

Research output: Chapter in Book/Report/Conference proceedingChapter

15 Downloads (Pure)
Original languageEnglish
Title of host publicationLACompLing 2021
Publication statusAccepted/In press - 15 Jun 2022

Publication series

NameStudies in Computational Intelligence
PublisherSringer

Cite this