Modular specification of monads through higher-order presentations

@inproceedings{Ahrens2019ModularSO,
  title={Modular specification of monads through higher-order presentations},
  author={Benedikt Ahrens and Andr{\'e} Hirschowitz and Ambroise Lafont and Marco Maggesi},
  booktitle={FSCD},
  year={2019}
}
  • Benedikt Ahrens, André Hirschowitz, +1 author Marco Maggesi
  • Published in FSCD 2019
  • Computer Science, Mathematics
  • In their work on second-order equational logic, Fiore and Hur have studied presentations of simply typed languages by generating binding constructions and equations among them. To each pair consisting of a binding signature and a set of equations, they associate a category of "models", and they give a monadicity result which implies that this category has an initial object, which is the language presented by the pair. In the present work, we propose, for the untyped setting, a variant of their… CONTINUE READING

    Tables and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Citations

    Publications citing this paper.
    SHOWING 1-4 OF 4 CITATIONS

    Reduction monads and their signatures

    VIEW 15 EXCERPTS
    CITES METHODS & BACKGROUND

    Modules over Monads and Operational Semantics

    VIEW 2 EXCERPTS
    CITES BACKGROUND & METHODS

    University of Birmingham Reduction Monads and Their Signatures

    • 2019
    VIEW 16 EXCERPTS
    CITES METHODS, BACKGROUND & RESULTS
    HIGHLY INFLUENCED

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 32 REFERENCES