Makoto Hamana. (2022). Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding. Mathematical Structures in Computer Science, 32, 542-573. https://doi.org/10.1017/s0960129522000287
ISO-690 (author-date, English)MAKOTO HAMANA, 2022. Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding. Mathematical Structures in Computer Science. 1 April 2022. Vol. 32, , p. 542-573. DOI 10.1017/s0960129522000287.
Modern Language Association 9th editionMakoto Hamana. „Complete Algebraic Semantics for Second-Order Rewriting Systems Based on Abstract Syntax With Variable Binding“. Mathematical Structures in Computer Science, Bd. 32, April 2022, S. 542-73, https://doi.org/10.1017/s0960129522000287.
Mohr Siebeck - Recht (Deutsch - Österreich)Makoto Hamana: Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding, Mathematical Structures in Computer Science 2022, 542-573.
Emerald - HarvardMakoto Hamana. (2022), „Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding“, Mathematical Structures in Computer Science, Vol. 32, S. 542-573.