Linguistic categories in mathematical vernacular and their type-theoretic semantics (extended abstract). / Luo, Zhaohui; Callaghan, Paul.

Logical Aspects of Computational Linguistics 97 (LACL'97). 1997.

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

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

ID: 1775738