Cited By
View all- Ahrens BMatthes RMörtberg APopescu AZdancewic S(2022)Implementing a category-theoretic framework for typed abstract syntaxProceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3497775.3503678(307-323)Online publication date: 17-Jan-2022
- Hamana M(2022)Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable bindingMathematical Structures in Computer Science10.1017/S0960129522000287(1-32)Online publication date: 14-Oct-2022
- Fiore MHamana M(2013)Multiversal Polymorphic Algebraic TheoriesProceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/2591370.2591395(520-529)Online publication date: 25-Jun-2013
- Show More Cited By