Pages that link to "Item:Q3511457"

The following pages link to One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations (Q3511457):

Displaying 3 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)
• Two-level Lambda-calculus (Q4982628) (← links)