Pages that link to "Item:Q3612440"
From MaRDI portal
The following pages link to Curry-Style Types for Nominal Terms (Q3612440):
Displayed 5 items.
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- Nominal essential intersection types (Q1643145) (← links)
- Nominal rewriting (Q2373703) (← links)
- Principal Types for Nominal Theories (Q3088280) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)