View of Factivity and presupposition in Dependent Type Semantics

Return to Article Details Factivity and presupposition in Dependent Type Semantics Download Download PDF