Records and record types in semantic theory

Journal of Logic and Computation

Volumn 15, Issue 2, 2005, Pages 99-112

  Cooper, Robin ^a  

^a UNIVERSITY OF GOTHENBURG   (Sweden)

Author keywords

Discourse Representation Theory; Head Drive Phrase Structure Grammar; Montague semantics; Natural language semantics; Records; Situation semantics; Type theory

Indexed keywords

COMPUTATIONAL LINGUISTICS; MATRIX ALGEBRA; NATURAL LANGUAGE PROCESSING SYSTEMS; RECORDS MANAGEMENT; SYNTACTICS; THEOREM PROVING;

DISCOURSE REPRESENTATION THEORY; HEAD-DRIVE PHRASE STRUCTURE GRAMMAR; MONTAGUE SEMANTICS; NATURAL LANGUAGE SEMANTICS; RECORDS; SITUATIONAL SEMANTICS; TYPE THEORY;

SEMANTICS;

EID: 20844445166     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/exi004     Document Type: Conference Paper

References (21)

1. J. Barwise and J. Perry. Situations and Attitudes. MIT Press, 1983.
2. D. Beaver. The optimization of discourse anaphora. Linguistics and Philosophy, 27, 3-56, 2004.
3. G. Betarte. Dependent Record Types and Algebraic Structures in Type Theory. PhD thesis. Department of Computing Science, Göteborg University and Chalmers University of Technology, 1998.
4. G. Betarte and A. Tasistro. Extension of Martin-Löf's type theory with record types and subtyping. In Twenty-Five years of Constructive Type Theory, G. Sambin and J. Smith, eds. Oxford Logic Guides, 36, Oxford University Press, Oxford, 1998.
5. G. Chierchia. Dynamics of Meaning: Anaphora, Presupposition, and the Theory of Grammar, University of Chicago Press, Chicago, 1995.
6. R. Cooper. The role of situations in generalized Quantifiers. In . The Handbook of Contemporary Semantic Theory, S. Lappin, ed. Blackwell, Oxford, 1996.
7. R. Cooper. Dynamic generalised quantifiers and hypothetical contexts. In Ursus Philosophicus, a festschrift for Björn Haglund. Department of Philosophy, Göteborg University. Available from http://www.ling.gu.se/ ~cooper/records, 2004.
8. R. Cooper. Austinian truth, attitudes and type theory. Research on Language and Computation, forthcoming.
9. T. Coquand, R. Pollock and M. Takeyama. A logical framework with dependently typed records. Fundomenta Informaticae, XX, 1-22, 2004.
10. J. van Eijck and H. Kamp. Representing discourse in context. In Handbook of Logic and Language. J. van Benthem and A. ter Meulen, eds. North Holland, Amsterdam and MIT Press, Cambridge, MA, 1997.
11. J. Ginzburg and I. Sag. Interrogative Investigations: the Form, Meaning, and Use of English Interrogatives, CSLI Lecture Notes 123. CSLI Publications, Stanford, CA, 2000.
12. H. Kamp and U. Reyle. From Discourse to Logic, Kluwer, Dordrecht, 1993.
13. L. Karttunen. Pronouns and variables, Papers from the Fifth Regional Meeting of the Chicago Linguistic Society, R. I. Binnick, A. Davison, G. M. Green and J. L. Morgan, eds. pp. 108-115. Department of Linguistics, University of Chicago, Chicago, Illinois, 1969.
14. M. Kohlhase, S. Kuschert and M. Pinkal. A type-theoretic semantics for λ-DRT. In Proceedings of the 10th Amsterdam Colloquium, P. Dekker and M. Stokhof, eds, pp. 479-498. ILLC, Amsterdam, 1996.
15. L. Magnusson. An algorithm for checking incomplete proof objects in type theory with localization and unification. In Types for Proofs and Programs, Lecture Notes in Computer Science, 1158, pp. 183-200. Springer Verlag, 1996.
16. L. Magnusson and B. Nordström. The ALF proof editor and its proof engine. In Types for Proofs and Programs, Lecture Notes in Computer Science, 806, H. Barendregt and T. Nipkow, eds, pp. 213-237. Springer Verlag, Nijmegen, 1994
17. R. Montague. Formal Philosophy: Selected Papers of Richard Montague, ed. and with an introduction by Richmond H. Thomason. Yale University Press, New Haven, 1974.
18. R. Muskens. Combining Montague semantics and discourse representation. Linguistics and Philosophy, 19, 143-186, 1995.
19. A. Ranta. Type-Theoretical Grammar, Clarendon Press, Oxford, 1994.
20. G. Sundholm. Proof theory and meaning. In Handbook of Philosophical Logic, Vol. 2, second edition. D. M. Gabbay and F. Guenthner, eds. pp. 1-52. Kluwer, Dordrecht, 1986.
21. A. Tasistro. Substitution, Record Types and Subtyping in Type Theory, with Applications to the Theory of Programming. PhD thesis, Department of Computing Science, Göteborg University and Chalmers University of Technology, 1997.