![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessRepresenting Types as Neural Events
One of the claims of Type Theory with Records is that it can be used to model types learned by agents in order to classify objects and events in the world, including speech events. That is, the types can be re...
-
Chapter
Adapting Type Theory with Records for Natural Language Semantics
In this paper we will go through the version of type theory TTR (Type Theory with Records) that we have proposed in a number of publications (including, Cooper, Res Lang Comput, 3:333–362, 2005a, J Log Comput, 15...
-
Article
Quotation via Dialogical Interaction
Quotation has been much studied in philosophy. Given that quotation allows one to diagonalize out of any grammar, there have been comparatively few attempts within the linguistic literature to develop an accou...
-
Article
Dialogue Systems as Proof Editors
This paper shows how a dialogue system for information-seekingdialogues can be implemented in a type-theory-based syntax editor,originally developed for editing mathematical proofs.The implementation gives a s...
-
Article
Afterword
-
Chapter
Using Situations to Reason about the Interpretation of Speech Events
Situation semantics in its first incarnation in Barwise and Perry (1983) emphasized the importance of reasoning about the subtle interactions between speech events, various informational resources which may co...
-
Book
-
Book
-
Book