1. Modern perspectives in type-theoretical semantics. ([2017]) Editors: Chatzikyriakidis, Stergios; Luo, Zhaohui Record Type: Book Extent: 1 online resource (viii, 296 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Extended abstracts fall 2013 : geometrical analysis, type theory, homotopy theory and univalent foundations /: geometrical analysis, type theory, homotopy theory and univalent foundations. (2015) Editors: Del Mar González, Maria; Yang, Paul C; Gambino, Nicola, 1975-; Kock, Joachim, 1967- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Immanent reasoning or equality in action : a plaidoyer for the play level /: a plaidoyer for the play level. (2018) Authors: Rahman, Shahid, 1956-; McConaughey, Zoe; Klev, Ansten; Clerbout, Nicolas Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal semantics in modern type theories. (2018) Authors: Chatzikyriakidis, Stergios; Luo, Zhaohui Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗