# Factivity and presupposition in Dependent Type Semantics

> Research article (Journal of Language Modelling, 2017) · cited 12× · AI/ML

**Wikidata**: [openalex:W2767985071](https://www.wikidata.org/wiki/openalex:W2767985071)  
**Source**: https://4ort.xyz/entity/factivity-and-presupposition-in-dependent-type-semantics