Skip to main navigation Skip to search Skip to main content

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

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