Reduction Monads and Their Signatures

Categorical semantics Additional Key Words and Phrases: Initial semantics computer-checked proofs Higher-order languages CCS Concepts: • Theory of computation → Equational logic and rewriting Monads Lambda calculus and phrases free monads Reduction systems initial semantics presentation of monads signatures monadic substitution syntax

Domaines

Logique en informatique [cs.LO]

Fichier principal

main.pdf (683.83 Ko)

Origine	Publication financée par une institution

ambroise lafont : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02380682

Soumis le : mardi 26 novembre 2019-16:27:23

Dernière modification le : vendredi 20 décembre 2024-11:38:17

Dates et versions

hal-02380682 , version 1 (26-11-2019)

Identifiants

HAL Id : hal-02380682 , version 1
DOI : 10.1145/3371099

Citer

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi. Reduction Monads and Their Signatures. Proceedings of the ACM on Programming Languages, 2020, pp.1-29. ⟨10.1145/3371099⟩. ⟨hal-02380682⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA EC-NANTES INSMI DIEUDONNE UNAM INRIA2 LS2N LS2N-GALLINETTE UNIV-COTEDAZUR IMT-ATLANTIQUE NANTES-UNIVERSITE INSTITUT-MINES-TELECOM

277 Consultations

228 Téléchargements