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

adjunctioncategorical semanticsfirst-order equational logicmodel categoriesoperation overloadingsubobjectsubtype as implicit conversionsubtype as inclusionsubtypingtheory presentations

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

(6)

• Subtyping can have a simple semantics
• Order-sorted algebraic specifications with higher-order functions
• Specification and proof in membership equational logic
• Equational logic and categorical semantics for multi-languages
• scientific article; zbMATH DE number 1377613 (Why is no real title available?)
• Order-sorted algebraic specifications with higher-order functions

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)