scientific article; zbMATH DE number 176127

MaRDI QIDQ4035228zbMATH OpenFDO

Authors Maura Cerioli, Egidio Astesiano

Publication date 18 May 1993

zbMATH Keywords

algebraic specification of partial higher-order functionsdeduction systemequationally complete inference systemextensional modelspartial conditional specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 92597
• scientific article; zbMATH DE number 1368949
• Free objects and equational deduction for partial conditional specifications
• Equational specification of partial higher-order algebras
• Publication:3028333

Cited in

(6)

• Equational specification of partial higher-order algebras
• An algebraic semantics of higher-order types with subtypes
• scientific article; zbMATH DE number 4016180 (Why is no real title available?)
• On specifications, theories, and models with higher types
• scientific article; zbMATH DE number 92597 (Why is no real title available?)
• Free objects and equational deduction for partial conditional specifications

This page was built for publication:

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