Universal algebra in higher types

DOI10.1016/0304-3975(92)90310-CzbMath0777.08008OpenAlexW1966640938MaRDI QIDQ1199827

Karl Meinke

Publication date: 17 January 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90310-c

zbMATH Keywords

ultraproductsconcurrent processinghigher-order logicsrecursivityHorn classesapplications of the elementary theory of higher-type universal algebra to the theory of computationmany-sorted universal algebra

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65)

Related Items (19)

Algebraic semantics of rewriting terms and types ⋮ A recursive second order initial algebra specification of primitive recursion ⋮ A completeness theorem for the expressive power of higher-order algebraic specifications ⋮ Polymorphic syntax definition ⋮ A process calculus with finitary comprehended terms ⋮ Infinitary rewriting: meta-theory and convergence ⋮ Order-sorted algebraic specifications with higher-order functions ⋮ Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. ⋮ Topological methods for algebraic specification ⋮ On behavioural abstraction and behavioural satisfaction in higher-order logic ⋮ Term rewriting and Hoare logic -- Coded rewriting ⋮ R n - and G n -logics ⋮ Higher-order equational logic for specification, simulation and testing ⋮ Higher-order algebra with transfinite types ⋮ Computable total functions on metric algebras, universal algebraic specifications and dynamical systems ⋮ Verifying an infinite systolic algorithm using third-order equational methods ⋮ An algebraic generalization of Frege structures -- binding algebras ⋮ Analogical projection in pattern perception ⋮ An algebraic semantics of higher-order types with subtypes

Uses Software

• Miranda

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. 2nd ed
• Model theory.
• On specifications, theories, and models with higher types
• Higher order data types
• Application of Higher-Order Ultraproducts to the Theory of Local Properties in Universal Algebras and Relational Systems
• Completeness in the theory of types

This page was built for publication: Universal algebra in higher types