The following pages link to Two-level Lambda-calculus (Q4982628):
Displaying 4 items.
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- Two-level Grammar as a Functional Programming Language (Q3815542) (← links)
- Semantics of the second order lambda calculus (Q4006235) (← links)