Pages that link to "Item:Q5951522"
From MaRDI portal
The following pages link to A calculus of lambda calculus contexts (Q5951522):
Displayed 6 items.
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Tactics and Parameters (Q4924546) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)
- Strongly-Normalizing Higher-Order Relational Queries (Q5043580) (← links)