Dependent event types

DOI10.1007/978-3-662-55386-2_15MaRDI QIDQ1685927zbMATH OpenOpenAlexFDO

Authors Zhaohui Luo, Serguei V. Solov'ev

Publication date 20 December 2017

Full work available at URL http://oatao.univ-toulouse.fr/19101/1/luo_19101.pdf

Mathematics Subject Classification ID

Type theory (03B38)

Recommendations

• Handling verb phrase anaphora with dependent types and events
• scientific article; zbMATH DE number 1241699
• scientific article; zbMATH DE number 895270
• Extensional and Intensional Semantic Universes
• Representing anaphora with dependent types

Cited in

(4)

• Proof assistants for natural language semantics
• Dependent information flow types
• Handling verb phrase anaphora with dependent types and events
• Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account

This page was built for publication: Dependent event types

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