Dynamic Bracketing and Discourse Representation
暂无分享,去创建一个
[1] Jeroen Groenendijk,et al. Dynamic predicate logic , 1991 .
[2] Vaughan R. Pratt,et al. Action Logic and Pure Induction , 1990, JELIA.
[3] Prakash Panangaden,et al. Categorical Type Theory , 1985 .
[4] Marco Hollenberg,et al. Counting Variables in a Dynamic Setting , 1996, J. Log. Comput..
[5] Michael Barr,et al. Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.
[6] M. Arbib,et al. Arrows, Structures, and Functors: The Categorical Imperative , 1975 .
[7] Albert Visser. Actions under presuppositions , 1992 .
[8] David Milward. Dynamics, Dependency Grammar And Incremental Interpretation , 1992, COLING.
[9] I. Heim. E-Type pronouns and donkey anaphora , 1990 .
[10] C. F. M. Vermeulen,et al. Sequence semantics for dynamic predicate logic , 1993, J. Log. Lang. Inf..
[11] C. F. M. Vermeulen,et al. Merging without mystery or: Variables in dynamics semantics , 1991, J. Philos. Log..
[12] J. Peregrin. LINGUISTICS AND PHILOSOPHY , 1998 .
[13] Frank Veltman,et al. Defaults in update semantics , 1996, J. Philos. Log..
[14] David Milward,et al. Dynamic dependency grammar , 1994 .