Inclusions and subtypes I: first-order case

DOI10.1093/LOGCOM/6.3.409zbMATH Open0931.03048OpenAlexW1980498809MaRDI QIDQ4885625FDOQ4885625

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

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

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)

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)