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

(8)

• Handling verb phrase anaphora with dependent types and events
• Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account
• Dependent information flow types
• Proof assistants for natural language semantics
• Dependently-typed Montague semantics in the proof assistant Agda-flat
• Polyadic quantifiers on dependent types
• A dependently-typed calculus of event telicity and culminativity
• Variable polyadicity without events: a type-theoretic analysis of event semantics

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)