Object's details: Factivity and presupposition in Dependent Type Semantics.

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy