This paper investigates an interesting type of existential construction in Tagalog and proposes an analysis of it in terms of Role and Reference Grammar. The construction in question is known as an ‘event existential’ and is exemplified in (1), and it contrasts with a ‘plain’ or ‘nominal’ existential construction in (2). Example (1) is from Aldridge (2011), who presents a Minimalist analysis of...

This paper shows the inhabitance in the lambda calculus with negation, product, and existential types is decidable. This is proved by showing existential quantification can be eliminated and reducing the problem to provability in intuitionistic propositional logic. By the same technique, this paper also shows existential quantification followed by negation can be replaced by a specific witness ...

We propose an ownership types system with existential quantification of owners, similar to the existential quantification of types in models of Java wildcards. This produces a system with variant ownership types. Using explicit existential types for variance is more expressive, less ad hoc, and easier to understand and reason about than previous solutions. Furthermore, we propose using both typ...