Pages that link to "Item:Q3094165"
From MaRDI portal
The following pages link to Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165):
Displayed 3 items.
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free (Q2915895) (← links)