Makoto Hamana

Available identifiers

zbMath Open hamana.makotoMaRDI QIDQ853742

List of research outcomes

Publication	Date of Publication	Type
Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding	2022-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5094148	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5014444	2021-12-02	Paper
Theory and practice of second-order rewriting: foundation, evolution, and SOL	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4993364	2021-06-15	Paper
How to prove decidability of equational theories with second-order computation analyser SOL	2020-05-26	Paper
Polymorphic rewrite rules: confluence, type inference, and instance validation	2018-07-09	Paper
The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics	2018-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4596785	2017-12-11	Paper
Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories.	2017-10-17	Paper
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic	2017-07-03	Paper
Bidirectionalization transformation based on automatic derivation of view complement functions	2014-07-21	Paper
Correct Looping Arrows from Cyclic Terms	2012-07-20	Paper
Polymorphic Abstract Syntax via Grothendieck Construction	2011-05-19	Paper
Initial Algebra Semantics for Cyclic Sharing Tree Structures	2010-09-21	Paper
Semantic Labelling for Proving Termination of Combinatory Reduction Systems	2010-04-27	Paper
Initial Algebra Semantics for Cyclic Sharing Structures	2009-07-07	Paper
An initial algebra approach to term rewriting systems with variable binders	2006-11-17	Paper
Explicit substitutions and higher-order syntax	2006-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q5714443	2006-01-02	Paper
Term Rewriting and Applications	2005-11-11	Paper
Programming Languages and Systems	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4259965	1999-09-08	Paper

Research outcomes over time

This page was built for person: Makoto Hamana