Pages that link to "Item:Q3061275"
From MaRDI portal
The following pages link to Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques (Q3061275):
Displaying 10 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)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free (Q2915895) (← links)
- Permissive-nominal logic (Q2946669) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
