Individuation criteria, dot-types and copredication: a view from modern type theories

zbMATH Open1376.68139MaRDI QIDQ4599196FDOQ4599196

Authors: Stergios Chatzikyriakidis, Zhaohui Luo 

Publication date: 18 December 2017

Full work available at URL: https://aclweb.org/anthology/W/W15/W15-2304.pdf

Recommendations

• Copredication, quantification and frames
• Dot-types and their implementation
• scientific article
• Common nouns as types
• scientific article; zbMATH DE number 1342247

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Cited In (3)

• Common nouns as types
• Dot-types and their implementation
• Copredication, quantification and frames

Uses Software

• Coq
• CompCert

This page was built for publication: Individuation criteria, dot-types and copredication: a view from modern type theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4599196)