Linguistic categories in mathematical vernacular and their type-theoretic semantics (extended abstract)

Zhaohui Luo, Paul Callaghan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationLogical Aspects of Computational Linguistics 97 (LACL'97)
Publication statusPublished - 1997

Cite this