... context-free grammars.Mathematical Systems Theory, 27(6): 511 –546.William A. Woods. 19 70. Transition network gram-mars for natural language analysis. Communica-tions of the ACM, 13 (10 ):5 91 606, ... Formal GrammarConference, pages 10 7 12 2. Barcelona, Spain.Pauline Jacobson. 19 99. Towards a variable-free se-mantics. Linguistics and Philosophy, 22 :11 7 18 4,October.Gerhard J¨ager. 19 97. Anaphora ... 19 97. Anaphora and ellipsis in type-logical grammar. In Proceedings of the 11 th Amster-dam Colloquium, pages 17 5 18 0, Amsterdam, the Netherland. ILLC, Universiteit van Amsterdam.Gerhard J¨ager....