The following pages link to (Q3962973):
Displayed 40 items.
- Order-sorted unification (Q582269) (← links)
- Extensional models for polymorphism (Q749518) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Kripke-style models for typed lambda calculus (Q804559) (← links)
- On conservative extensions of syntax in system development (Q811131) (← links)
- Parametrization for order-sorted algebraic specification (Q909448) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- Equational completion in order-sorted algebras (Q912606) (← links)
- Algebraic specification of concurrent systems (Q914405) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On solving the equality problem in theories defined by Horn clauses (Q1085152) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- Generalized algebraic theories and contextual categories (Q1096716) (← links)
- Inheritance hierarchies: Semantics and unifications (Q1124313) (← links)
- Unification theory (Q1124375) (← links)
- Horn clause programs with polymorphic types: Semantics and resolution (Q1177936) (← links)
- Completion for unification (Q1178701) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- Semantics of order-sorted specifications (Q1185014) (← links)
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets (Q1185017) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- Final algebras, cosemicomputable algebras and degrees of unsolvability (Q1199822) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- A semi-algorithm for algebraic implementation proofs (Q1199928) (← links)
- An improved general \(E\)-unification method (Q1201347) (← links)
- Logical debugging (Q1322853) (← links)
- An algebraic semantics of higher-order types with subtypes (Q1323318) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Actors, actions, and initiative in normative system specification (Q1353968) (← links)
- Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus (Q1356979) (← links)
- A completeness theorem for the expressive power of higher-order algebraic specifications (Q1362341) (← links)
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
- Formalization of universal algebra in Agda (Q2333322) (← links)
- Higher-order equational logic for specification, simulation and testing (Q4645808) (← links)
- Higher-order order-sorted algebras (Q5096189) (← links)