Dot-types and Their Implementation

DOI10.1007/978-3-642-31262-5_17zbMath1291.68406OpenAlexW1540303333MaRDI QIDQ4981261

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

type theorycoercive subtypingproof assistanttype-theoretical semanticsdot-types

Mathematics Subject Classification ID

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

Related Items (2)

Propositional forms of judgemental interpretations ⋮ Natural language inference in Coq

Uses Software

• Coq
• Matita
• Agda

This page was built for publication: Dot-types and Their Implementation