A type driven theory of predication with complex types

Fundamenta Informaticae

Volumn 84, Issue 2, 2008, Pages 151-183

  Asher, Nicholas ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

Categorial interpretation,; Coercion,; Complex types,; Copredication,; Dot( )types; Lambda calculus,

Indexed keywords

CATEGORIAL INTERPRETATION,; COERCION,; COMPLEX TYPES,; COPREDICATION,; LAMBDA CALCULUS,;

CHLORINE COMPOUNDS;

EID: 50249109406     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (21)

1. Aehling, K., Schwichtenberg, H.: A Syntactical Analysis of non-size-increasing polynomial time computation, Proceedings of the 15th Symposium on Logic in Computer Science (LICS 2000), IEEE Computer Science Press, Los Alamitos, CA, 2000.
2. Asher, N.: Aspects of Things, Philosophical Issues: A Supplement to Nous, 7, 2006, 1-20.
3. Asher, N.: A Web of Words: Lexical Meaning in Context, 2007, Manuscript available from author.
4. Asher, N., Lascarides, A.: Indirect Speech Acts, Synthese, 129(1-2), 2001, 183-228.
5. Asher, N., Pustejovsky, J.: Word Meaning and Commonsense Metaphysics, 2004, Available from nasher@la.utexas.edu.
6. Asher, N., Reese, B.: Negative Bias in Polar Questions, Proceedings of SuB9 (E. Maier, C. Bary, J. Huitink, Eds.), 2005, www.ru.nl/ncs/sub9.
7. Asperti, A., Longo, G.: Catgories, Types and Structures: An Introduction to Category Theory for the Working Computer Scientist, MIT Press, 1991.
8. Barr, M., Wells, C.: Category Theory for Computing Science, 1990, 3d edition, available University of Montreal's centre de recherches mathématiques.
9. Blackburn, P.: Modal Logic and Attribute Value Structures, Diamonds and Defaults (M. de Rijke, Ed.), Kluwer, Dordrecht, Holland, 1997.
10. Cooper, R.: Do delicious lunches take a long time?, 2005, ESSLLI 2005 presentation.
11. Copestake, A., Briscoe, E. J.: Semi-productive Polysemy and Sense Extension, Journal of Semantics, 12, 1995, 15-67.
12. Dowty, D. R.: Word meaning and Montague Grammar: The semantics of verbs and times in Generative Semantics and Montague's PTQ, Number 7 in Studies in Linguistics and Philosophy, Kluwer, Dordrecht, 1979.
13. Kamp, H., Reyle, U.: From Discourse to Logic, Kluwer, Dordrecht, 1993.
14. Krifka, M.: Nominal and Temporal Constitution: Towards a Semantics of Quantity, Proceedings of the Sixth Amsterdam Colloquium, University of Amsterdam, Institute for Language, Logic and Infor- mation, 1987.
15. Lambek, J., Scott, P. J.: Introduction to Higher Order Categorial Logic, Cambridge University Press, 1986.
16. Lascarides, A., Briscoe, E., Asher, N., Copestake, A.: Order Independent and Persistent Typed Default Unification, Linguistics and Philosophy, 12, 1996, 1-89.
17. Martin-Löf, P.: Intuitionistic Type Theory, Bibliopolis, Naples, Italy, 1984.
18. Pustejovsky, J.: The Generative Lexicon, MIT Press, 1995.
19. Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism, Journal of Functional Programming, 14(2), 2004, 145-189.
20. Reese, B., Asher, N.: The Nuclear Option: The Interpretation of Tag Questions, Proceedings of SuB11, 2006.
21. Rothstein, S.: Resultative Predication in Structuring Events: A Study in the Semantics of Lexical Aspect, Blackwell's Publishing, 2003.