Pages that link to "Item:Q4913996"
From MaRDI portal
The following pages link to Meta-variables as infinite lists in nominal terms unification and rewriting (Q4913996):
Displaying 6 items.
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Hierarchical nominal terms and their theory of rewriting (Q2871858) (← links)
- Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free (Q2915895) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- (Q4332413) (← links)