Dot-types and their implementation

DOI10.1007/978-3-642-31262-5_17MaRDI QIDQ4981261zbMATH OpenOpenAlexFDO

Authors Tao Xue, Zhaohui Luo

Publication date 24 June 2014

Published in Logical Aspects of Computational Linguistics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-31262-5_17

zbMATH Keywords

coercive subtypingdot-typesproof assistanttype theorytype-theoretical semantics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Natural language processing (68T50)

Recommendations

• Individuation criteria, dot-types and copredication: a view from modern type theories
• Records and Record Types in Semantic Theory
• Copredication, quantification and frames
• scientific article; zbMATH DE number 2012402
• Syntactic calculus with dependent types

Cited in

(5)

• Natural language inference in Coq
• Individuation criteria, dot-types and copredication: a view from modern type theories
• Propositional forms of judgemental interpretations
• Gradability in MTT-Semantics
• A dependently-typed calculus of event telicity and culminativity

Describes a project that uses

Uses Software

• Coq
• Matita
• Agda

This page was built for publication: Dot-types and their implementation

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