| Original language | English |
|---|---|
| Title of host publication | LACompLing 2021 |
| Publication status | Accepted/In press - 15 Jun 2022 |
Publication series
| Name | Studies in Computational Intelligence |
|---|---|
| Publisher | Sringer |
Universes in Type-Theoretical Semantics (paper accompanying an invited talk)
Research output: Chapter in Book/Report/Conference proceeding › Chapter
15
Downloads
(Pure)