The following pages link to Makoto Hamana (Q853742):
Displaying 10 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)
- (Q4993364) (← links)
- Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories. (Q5369486) (← links)
