|Abstract||Within the community of researchers applying type theory to natural language there have been proposals to use contexts from type theory to model information states and to use context extension to model information updates. Examples of this are Ranta (1994) and research conducted in the DenK project (e.g. Ahn, 1995, Ahn and Borghuis, 1998).|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Aarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
Orlin Vakarelov (2012). The Information Medium. Philosophy and Technology 25 (1):47-65.
JP Sevilla, Interpersonal Comparisons of Well-Being, the Evaluative Attitudes, and Type Correspondence Between Mind and Brain.
Giuseppe Primiero (2009). Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information. History and Philosophy of Logic 30 (3):257-282.
Jan Westerhoff (2003). The Underdetermination of Typings. Erkenntnis 58 (3):379 - 414.
Nafsika Athanassoulis & James Wilson (2009). When is Deception in Research Ethical? Clinical Ethics 4 (1):44-49.
John Zeimbekis (2004). Propositional Attitudes in Fiction. British Journal of Aesthetics 44 (3):261-276.
Sorry, there are not enough data points to plot this chart.
Added to index2010-12-22
Total downloads1 ( #274,652 of 549,065 )
Recent downloads (6 months)0
How can I increase my downloads?