Higher order data types

DOI10.1007/BF00995808MaRDI QIDQ3860824zbMATH OpenOpenAlexFDO

Authors Tim Maibaum, Carlos J. P. Lucena

Publication date 1980

Published in International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00995808

zbMATH Keywords

algebraic modelsdatabase systemshigher order data typesprogramming methodology

Mathematics Subject Classification ID

Data structures (68P05)

Cites work

• An axiomatic basis for computer programming
• An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs
• scientific article; zbMATH DE number 3566154 (Why is no real title available?)
• scientific article; zbMATH DE number 3584897 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras

Cited in

(8)

• Universal algebra in higher types
• An algebraic generalization of Frege structures -- binding algebras
• An algebraic semantics of higher-order types with subtypes
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
• Verifying an infinite systolic algorithm using third-order equational methods
• R n - and G n -logics
• D-oids: a model for dynamic data-types
• Higher-order order-sorted algebras

This page was built for publication: Higher order data types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3860824)