Pages that link to "Item:Q1044184"

The following pages link to The lambda-context calculus (extended version) (Q1044184):

Displaying 2 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)