The following pages link to Programming Languages and Systems (Q5464050):
Displaying 10 items.
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Initial Algebra Semantics for Cyclic Sharing Structures (Q3637190) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- (Q5094148) (← links)
- (Q5101336) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
