What is it about?
The paper provides an approach for abstract syntax using initial semantics, a general theory based on category theory, suitable for formal language as found in logic and programming.
Featured Image
Why is it important?
We provide a principled approach to syntax and semantics of formal languages with reductions and with binding and other higher-order constructions.
Read the Original
This page is a summary of: Reduction monads and their signatures, Proceedings of the ACM on Programming Languages, January 2020, ACM (Association for Computing Machinery),
DOI: 10.1145/3371099.
You can read the full text:
Contributors
The following have contributed to this page
