Pages that link to "Item:Q5477637"
From MaRDI portal
The following pages link to Completeness and Herbrand theorems for nominal logic (Q5477637):
Displayed 9 items.
- Equivariant unification (Q616849) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Term-generic logic (Q2339466) (← links)
- A Simple Nominal Type Theory (Q2804939) (← links)
- Nominal Equational Logic (Q2864152) (← links)
- Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free (Q2915895) (← links)
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)