The following pages link to Nominal system T (Q5255070):
Displaying 6 items.
- Alpha-structural induction and recursion for the lambda calculus in constructive type theory (Q1744410) (← links)
- Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483) (← links)
- Structural recursion with locally scoped names (Q3016213) (← links)
- Principal Types for Nominal Theories (Q3088280) (← links)
- Binding in Nominal Equational Logic (Q3178258) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)