Pages that link to "Item:Q1044184"
From MaRDI portal
The following pages link to The lambda-context calculus (extended version) (Q1044184):
Displaying 4 items.
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- Structural recursion with locally scoped names (Q3016213) (← links)
- The Intensional Lambda Calculus (Q5434495) (← links)
