The following pages link to The First-Order Nominal Link (Q3003496):
Displayed 4 items.
- Completeness in PVS of a nominal unification algorithm (Q1744405) (← links)
- A formalisation of nominal C-matching through unification with protected variables (Q2333665) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)