scientific article; zbMATH DE number 18641

MaRDI QIDQ3976045zbMATH OpenFDO

Authors Axel Poigné

Publication date 26 June 1992

zbMATH Keywords

model theorydeduction systemparametric typessubsorting

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Typed homomorphic relations extended with subtypes
• scientific article; zbMATH DE number 44623
• scientific article; zbMATH DE number 512792
• scientific article; zbMATH DE number 4018380
• Equational type logic

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 Q3976045)