Pages that link to "Item:Q4913996"

The following pages link to Meta-variables as infinite lists in nominal terms unification and rewriting (Q4913996):

Displaying 2 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)