Abstract Clones for Abstract Syntax

Nathanael Arkor, Dylan McDermott. Abstract Clones for Abstract Syntax. In Naoki Kobayashi 0001, editor, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference). Volume 195 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.