The following pages link to A simple nominal type theory (Q2804939):
Displaying 10 items.
- A dependent type theory with abstractable names (Q530845) (← links)
- Nominal abstraction (Q617715) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Simply-typed underdeterminism (Q1273067) (← links)
- Nominal essential intersection types (Q1643145) (← links)
- A dependent nominal type theory (Q2881075) (← links)
- Permissive-nominal logic (Q2946669) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- Foundations of Software Science and Computational Structures (Q5705899) (← links)
- A simple sequent calculus for nominal logic (Q5739979) (← links)