3 results
Material dialogues for first-order logic in constructive type theory: extended version
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 03 November 2023, pp. 1-21
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
6 - Interactive Alignment and Linguistic Representations
- from Part II - Alignment during Dialogue
-
- Book:
- Understanding Dialogue
- Published online:
- 11 February 2021
- Print publication:
- 07 January 2021, pp 109-133
-
- Chapter
- Export citation
11 - Culture and Language Use
- from Part IV - Extending the Shared Workspace Framework
-
- Book:
- Understanding Dialogue
- Published online:
- 11 February 2021
- Print publication:
- 07 January 2021, pp 239-260
-
- Chapter
- Export citation