Blog
About

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

      Logic for Computational Effects: work in progress

      ,

      6th International Workshop on Formal Methods (FM)

      Formal Methods

      11 July 2003

      Computational effects, computational λcalculus, signature, operations, equations, modalities, Freyd-categories

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λcalculus by basic types and a signature, the latter given by constant symbols, function symbols, and operation symbols, and by including a μ operator. We give both syntax and semantics for the logic except for λ. We consider a number of sound and complete classes of models, all given in category-theoretic terms. We illustrate the ideas with some of our leading examples of computational effects, and we observe that operations give rise to natural modalities.

          Related collections

          Most cited references 2

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Notions of Computation Determine Monads

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Adequacy for Algebraic Effects

              Bookmark

              Author and article information

              Contributors
              Conference
              July 2003
              July 2003
              : 1-5
              Affiliations
              School of Informatics

              University of Edinburgh

              King’s Buildings

              Mayfield Road

              Edinburgh EH9 3JZ

              Scotland
              Article
              10.14236/ewic/IWFM2003.3
              © Gordon Plotkin et al. Published by BCS Learning and Development Ltd. 6th International Workshop on Formal Methods, Dublin City University, Ireland

              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/

              6th International Workshop on Formal Methods
              FM
              6
              Dublin City University, Ireland
              11 July 2003
              Electronic Workshops in Computing (eWiC)
              Formal Methods
              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