The following pages link to Unification under a mixed prefix (Q1201348):
Displaying 24 items.
- Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
- Nominal abstraction (Q617715) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Verifying termination and reduction properties about higher-order logic programs (Q850496) (← links)
- Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- Recasting ML\(^{\text F}\) (Q1023287) (← links)
- Unification with extended patterns (Q1274966) (← links)
- Implementing tactics and tacticals in a higher-order logic programming language (Q1311396) (← links)
- A proof procedure for the logic of hereditary Harrop formulas (Q1311397) (← links)
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Third order matching is decidable (Q1337691) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- Functions-as-constructors higher-order unification: extended pattern unification (Q2134936) (← links)
- The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Types for modules (Q2375744) (← links)
- A two-level logic approach to reasoning about computations (Q2392484) (← links)
- Translating higher-order clauses to first-order clauses (Q2471742) (← links)
- Reasoning in Abella about Structural Operational Semantics Specifications (Q2804943) (← links)
- On the Role of Names in Reasoning about λ-tree Syntax Specifications (Q2804945) (← links)
- Higher order disunification: Some decidable cases (Q5096304) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
