317
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      A Category Theory Approach to HCI

      proceedings-article

      27th International BCS Human Computer Interaction Conference (HCI 2013) (HCI)

      Human Computer Interaction Conference (HCI 2013)

      9 - 13 September 2013

      Category theory, formal methods

      Bookmark

            Abstract

            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.

            Content

            Author and article information

            Contributors
            Conference
            September 2013
            September 2013
            : 1-5
            Affiliations
            [0001]Liverpool John Moores University

            Byrom St, Liverpool, L3 3AF, UK
            Article
            10.14236/ewic/HCI2013.2
            ca1fe6bf-b57b-45a2-b05a-3d42f969d2a7
            © David England. Published by BCS Learning and Development Ltd. 27th International BCS Human Computer Interaction Conference (HCI 2013), Brunel University, London, UK

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            27th International BCS Human Computer Interaction Conference (HCI 2013)
            HCI
            27
            Brunel University, London, UK
            9 - 13 September 2013
            Electronic Workshops in Computing (eWiC)
            Human Computer Interaction Conference (HCI 2013)
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article