Inclusions and subtypes I: first-order case

DOI10.1093/LOGCOM/6.3.409MaRDI QIDQ4885625zbMATH OpenOpenAlexFDO

Authors Narciso Martí-Oliet, José Meseguer

Publication date 23 November 1999

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/400acae3551ee7874606f95cec5c8cdb800e13f5

zbMATH Keywords

categorical semanticsmodel categoriesadjunctionsubtypingsubobjectfirst-order equational logictheory presentationsoperation overloadingsubtype as implicit conversionsubtype as inclusion

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55)

Recommendations

• Inclusions and subtypes II: higher-order case
• Subtyping can have a simple semantics
• scientific article; zbMATH DE number 1231606
• scientific article; zbMATH DE number 4027428
• scientific article; zbMATH DE number 1377613

Cited in

(4)

• Order-sorted algebraic specifications with higher-order functions
• Order-sorted algebraic specifications with higher-order functions
• Equational logic and categorical semantics for multi-languages
• Specification and proof in membership equational logic

This page was built for publication: Inclusions and subtypes I: first-order case

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