This paper constitutes an investigation into the generative capabilities of two-level phonology with respect to unilevel generative phonological rules. Proponents of two-level phonology have claimed, but not demonstrated, that two-level rules and grammars of twolevel rules are reversible and that grammars ofnnilevel rules are not. This paper makes "reversibility" explicit and demonstrates by me...

We introduce a non-cooperative game model in which players’ decision nodes are partially ordered by dependence relation, directly captures informational dependencies the game. In saying that node v is dependent on v1,…,vk, we mean information available to strategy making choice at precisely choices were made v1,…,vk. Although partial order games no more expressive than extensive form of imperfe...

Context analysis calculates which components of arguments to functions may be evaluated eagerly without introducing non-termination. An amount of evaluation recommended by context analysis is less than the amount of evaluation which will occur at run-time. We may similarly derive contexts which are greater than the amount of run-time evaluation and hence determine which components of an express...