The following pages link to (Q5714443):
Displaying 7 items.
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- Nominal unification (Q1882909) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- Login: a logic programming language with built-in inheritance (Q3735057) (← links)
- (Q4436952) (← links)
- Logic Programming (Q5313189) (← links)