- Austinian propositions, Davidsonian events and perception complements \Lambda
- Records and dialogue Report from the project: Records, types and computational
- The Role of Situations in Generalized Quantifiers \Lambda Robin Cooper
- Resolving Ellipsis in Clarification Jonathan Ginzburg
- A type theoretic approach to information state update in issue based dialogue management
- Montague semantics { Intensionality (Robin Cooper)
- Austinian truth, attitudes and type theory Robin Cooper (cooper@ling.gu.se)
- Do delicious lunches take a long time? Robin Cooper
- Towards a formal view of coordination and learning in dialogue
- Natural languages as collections of resources Robin Cooper
- A note on the relationship between linguistic theory and linguistic engineering \Lambda
- Integrating diverse information resources into dialogue Robin Cooper
- Simple Situation Theory and its Graphical Representation
- Information States, Attitudes and Dependent Record Types \Lambda Robin Cooper
- Prolog and Natural Language Semantics Robin Cooper, Ian Lewin and Alan W Black
- Accommodation and reaccommodation in dialogue 1 Robin Cooper and Staffan Larsson
- Dialogue moves and information states \Lambda Robin Cooper
- Type Theory with Records and Unification-based Grammar Robin Cooper
- Type Theory and Universal Grammar Aarne Ranta
- Dynamic generalised quantifiers and hypothetical contexts Robin Cooper
- Montague semantics { tense and modality (Robin Cooper)
- Preprint, !2006 Robin Cooper. All rights reserved Philosophical Communications, Web Series, No. 35, pp. 75-88
- Austinian truth, attitudes and type theory # Robin Cooper (cooper@ling.gu.se)
- Records and record types in semantic theory Robin Cooper
- Information States, Attitudes and Dialogue \Lambda Robin Cooper
- A Prolog Type Checker for Dependent Record Revised version of a course paper in Formal Semantics, Spring 1998.
- CompSem Software Access September 10, 2007
- Copredication, dynamic generalized quantification and lexical innovation by coercion
- Graduate Course in Formal Semantics, VT01 Robin Cooper, ...
- Clarification Ellipses, HPSG and dependent record types
- Logical and visual fun with generalized quantifiers Dag Westerstahl
- Appendix to Using Dependent Record Types in Clari cation Robin Cooper Jonathan Ginzburg
- Mixing Situation Theory and Type Theory to Formalize Information States in Dialogue
- A type theoretic approach to information state update in issue based dialogue management #
