The following pages link to Universal algebra in higher types (Q1199827):
Displaying 22 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Topological methods for algebraic specification (Q671657) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- Term rewriting and Hoare logic -- Coded rewriting (Q673226) (← links)
- Infinitary rewriting: meta-theory and convergence (Q884993) (← links)
- Polymorphic syntax definition (Q1129122) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- An algebraic semantics of higher-order types with subtypes (Q1323318) (← links)
- A recursive second order initial algebra specification of primitive recursion (Q1338890) (← links)
- A completeness theorem for the expressive power of higher-order algebraic specifications (Q1362341) (← links)
- Order-sorted algebraic specifications with higher-order functions (Q1391097) (← links)
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
- Implicitly equivalent universal algebras (Q1937750) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- (Q3614493) (← links)
- Analogical projection in pattern perception (Q4467050) (← links)
- R n - and G n -logics (Q4645806) (← links)
- Higher-order equational logic for specification, simulation and testing (Q4645808) (← links)
- Higher-order algebra with transfinite types (Q4645814) (← links)
- (Q4723788) (← links)
- Algebraic semantics of rewriting terms and types (Q5881172) (← links)
