The following pages link to Computer Science Logic (Q5292660):
Displaying 5 items.
- Viewing \({\lambda}\)-terms through maps (Q740485) (← links)
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Nominal unification (Q1882909) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)
