The following pages link to Makoto Hamana (Q853742):
Displaying 23 items.
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- Polymorphic rewrite rules: confluence, type inference, and instance validation (Q1648875) (← links)
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Initial Algebra Semantics for Cyclic Sharing Tree Structures (Q2786132) (← links)
- Correct Looping Arrows from Cyclic Terms (Q2900260) (← links)
- Polymorphic Abstract Syntax via Grothendieck Construction (Q3000622) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Semantic Labelling for Proving Termination of Combinatory Reduction Systems (Q3557095) (← links)
- Initial Algebra Semantics for Cyclic Sharing Structures (Q3637190) (← links)
- (Q4259965) (← links)
- (Q4596785) (← links)
- (Q4993364) (← links)
- (Q5014444) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- (Q5094148) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- Bidirectionalization transformation based on automatic derivation of view complement functions (Q5168924) (← links)
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (Q5271090) (← links)
- Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories. (Q5369486) (← links)
- Programming Languages and Systems (Q5464050) (← links)
- Term Rewriting and Applications (Q5703844) (← links)
- (Q5714443) (← links)
