On the power of higher-order algebraic specification methods
From MaRDI portal
(Redirected from Publication:1908358)
Recommendations
- scientific article; zbMATH DE number 1088024
- A Calculus of Higher-Order Parameterization for Algebraic Specifications
- scientific article; zbMATH DE number 176490
- A completeness theorem for the expressive power of higher-order algebraic specifications
- scientific article; zbMATH DE number 4078770
- Algebraic foundations for specification refinements
- scientific article; zbMATH DE number 4129965
- On the algebra of structured specifications
- Order-sorted algebraic specifications with higher-order functions
- Order-sorted algebraic specifications with higher-order functions
Cited in
(10)- Higher-order equational logic for specification, simulation and testing
- Characterizing specification languages which admit initial semantics
- Verifying an infinite systolic algorithm using third-order equational methods
- scientific article; zbMATH DE number 4129965 (Why is no real title available?)
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.
- scientific article; zbMATH DE number 176490 (Why is no real title available?)
- A process calculus with finitary comprehended terms
- scientific article; zbMATH DE number 4078770 (Why is no real title available?)
- A completeness theorem for the expressive power of higher-order algebraic specifications
- Higher-order algebra with transfinite types
This page was built for publication: On the power of higher-order algebraic specification methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1908358)
