High-level signatures and initial semantics
From MaRDI portal
Publication:5079724
DOI10.4230/LIPICS.CSL.2018.4OpenAlexW4289552732MaRDI QIDQ5079724FDOQ5079724
Ambroise Lafont, Benedikt Ahrens, André Hirschowitz, Marco Maggesi
Publication date: 28 May 2022
Full work available at URL: https://inria.hal.science/hal-01930058
Cites Work
- Title not available (Why is that?)
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- A framework for defining logics
- Linear logic
- Title not available (Why is that?)
- Initial Algebra Semantics Is Enough!
- Generalised folds for nested datatypes
- Title not available (Why is that?)
- Monads need not be endofunctors
- Substitution in non-wellfounded syntax with variable binding
- Explicit substitutions and higher-order syntax
- Second-Order Equational Logic (Extended Abstract)
- Modules over monads and initial semantics
- Modules over Monads and Linearity
- Second-Order Algebraic Theories
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
- Modules over relative monads for syntax and semantics
- Displayed Categories
- Proceedings 8th Workshop on Fixed Points in Computer Science
Cited In (3)
Uses Software
This page was built for publication: High-level signatures and initial semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079724)
