Inclusions and subtypes I: first-order case

DOI10.1093/logcom/6.3.409zbMath0931.03048OpenAlexW1980498809MaRDI QIDQ4885625

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

subobjectmodel categoriessubtypingcategorical semanticsadjunctionfirst-order equational logictheory presentationsoperation overloadingsubtype as implicit conversionsubtype as inclusion

Mathematics Subject Classification ID

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

Related Items (4)

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

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