Makoto Hamana
From MaRDI portal
Person:853742
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
DEBUG first row: length=10 | [1]=https://portal.mardi4nfdi.de/wiki/Public | [2]=Complete algebraic semantics for second- | [3]=https://portal.mardi4nfdi.de/entity/Q505 | [4]=2022-12-20 | [5]=Q5058367 | [6]=https://portal.mardi4nfdi.de/entity/Q597 | [7]=Paper | [8]=7634877 | [9]=Mathematical Structures in Computer Scie | [10]=
| Publication | Date of Publication | Type |
|---|---|---|
| Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding Mathematical Structures in Computer Science row10= | journal=Mathematical Structures in Computer Science | arxivId= | 2022-12-20 | Paper |
| scientific article; zbMATH DE number 7566074 (Why is no real title available?) row10= | journal= | arxivId= | 2022-08-02 | Paper |
| scientific article; zbMATH DE number 7437711 (Why is no real title available?) row10= | journal= | arxivId= | 2021-12-02 | Paper |
| Theory and practice of second-order rewriting: foundation, evolution, and SOL row10= | journal= | arxivId= | 2021-07-06 | Paper |
| scientific article; zbMATH DE number 7359428 (Why is no real title available?) row10= | journal= | arxivId= | 2021-06-15 | Paper |
| How to prove decidability of equational theories with second-order computation analyser SOL Journal of Functional Programming row10= | journal=Journal of Functional Programming | arxivId= | 2020-05-26 | Paper |
| Polymorphic rewrite rules: confluence, type inference, and instance validation row10= | journal= | arxivId= | 2018-07-09 | Paper |
| The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics Mathematical Structures in Computer Science row10= | journal=Mathematical Structures in Computer Science | arxivId= | 2018-01-11 | Paper |
| Cyclic datatypes modulo bisimulation based on second-order algebraic theories row10= | journal= | arxivId= | 2017-12-11 | Paper |
| Strongly normalising cyclic data computation by iteration categories of second-order algebraic theories row10= | journal= | arxivId= | 2017-10-17 | Paper |
| Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science row10= | journal=2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | arxivId= | 2017-07-03 | Paper |
| Bidirectionalization transformation based on automatic derivation of view complement functions Proceedings of the 12th ACM SIGPLAN international conference on Functional programming row10= | journal=Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | arxivId= | 2014-07-21 | Paper |
| Correct Looping Arrows from Cyclic Terms Functional and Logic Programming row10= | journal=Functional and Logic Programming | arxivId= | 2012-07-20 | Paper |
| Polymorphic Abstract Syntax via Grothendieck Construction Foundations of Software Science and Computational Structures row10= | journal=Foundations of Software Science and Computational Structures | arxivId= | 2011-05-19 | Paper |
| Initial algebra semantics for cyclic sharing tree structures Logical Methods in Computer Science row10= | journal=Logical Methods in Computer Science | arxivId= | 2010-09-21 | Paper |
| Semantic labelling for proving termination of combinatory reduction systems Functional and Constraint Logic Programming row10= | journal=Functional and Constraint Logic Programming | arxivId= | 2010-04-27 | Paper |
| Initial Algebra Semantics for Cyclic Sharing Structures Lecture Notes in Computer Science row10= | journal=Lecture Notes in Computer Science | arxivId= | 2009-07-07 | Paper |
| Explicit substitutions and higher-order syntax Higher-Order and Symbolic Computation row10= | journal=Higher-Order and Symbolic Computation | arxivId= | 2006-11-17 | Paper |
| An initial algebra approach to term rewriting systems with variable binders Higher-Order and Symbolic Computation row10= | journal=Higher-Order and Symbolic Computation | arxivId= | 2006-11-17 | Paper |
| scientific article; zbMATH DE number 2242590 (Why is no real title available?) row10= | journal= | arxivId= | 2006-01-02 | Paper |
| Term Rewriting and Applications Lecture Notes in Computer Science row10= | journal=Lecture Notes in Computer Science | arxivId= | 2005-11-11 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science row10= | journal=Lecture Notes in Computer Science | arxivId= | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 1332638 (Why is no real title available?) row10= | journal= | arxivId= | 1999-09-08 | Paper |
Research outcomes over time
This page was built for person: Makoto Hamana
