How to do things with types
Author: Robin Cooper
Paper Information
| Title: | How to do things with types |
| Authors: | Robin Cooper |
| Proceedings: | NLCS 2014 Proceedings |
| Editors: | Larry Moss, Valeria de Paiva and Christian Retoré |
| Keywords: | type theory, action, speech act theory, dialogue |
| Abstract: | ABSTRACT. This paper attempts to explore what kind of general theory of action a notion of linguistic acts could be embedded in and tries to develop the beginnings of such a theory using type theory as the starting point. We will here only develop a non-linguistic example, although we will point out relationships to linguistic acts during the course of the paper. |
| Pages: | 10 |
| Talk: | Jul 17 10:45 |
| Paper: |  |