Formally-based tools and techniques for human-computer dialogues
Formally-based tools and techniques for human-computer dialogues
Introduction to Functional Programming
Introduction to Functional Programming
Human-Machine Reconfigurations: Plans and Situated Actions
Human-Machine Reconfigurations: Plans and Situated Actions
A spatial model of interaction in large virtual environments
ECSCW'93 Proceedings of the third conference on European Conference on Computer-Supported Cooperative Work
The Space and Motion of Communicating Agents
The Space and Motion of Communicating Agents
Conceptual Mathematics: A First Introduction to Categories
Conceptual Mathematics: A First Introduction to Categories
Runtime user interface design and adaptation
Proceedings of the 23rd British HCI Group Annual Conference on People and Computers: Celebrating People and Technology
Formal analysis of ubiquitous computing environments through the APEX framework
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.00 |
In this paper we revisit Category Theory as a modelling tool for Human Computer Interaction. We first review past approaches and limitations to formal methods in HCI. We then introduce a category theory with a tutorial example, before moving onto a more complex example. We end by discussing the further implications for theories of HCI.