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

MaRDI QIDQ4599196zbMATH OpenFDO

Authors Stergios Chatzikyriakidis, Zhaohui Luo

Publication date 18 December 2017

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

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(3)

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

Describes a project that uses

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)