Higher-order order-sorted algebras

DOI10.1007/3-540-53162-9_32zbMath1493.68093OpenAlexW1481223853MaRDI QIDQ5096189

Zhenyu Qian

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_32

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (4)

Order-sorted algebraic specifications with higher-order functions ⋮ Algebraic optimization of object-oriented query languages ⋮ Unification in an extensional lambda calculus with ordered function sorts and constant overloading ⋮ Order-sorted algebraic specifications with higher-order functions

Cites Work

• Parametrization for order-sorted algebraic specification
• Completeness of Proof Systems for Equational Specifications
• On specifications, theories, and models with higher types
• Higher order data types
• Data Types as Lattices
• What is a model of the lambda calculus?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Higher-order order-sorted algebras