Inclusions and subtypes I: first-order case
From MaRDI portal
Publication:4885625
DOI10.1093/logcom/6.3.409zbMath0931.03048MaRDI QIDQ4885625
José Meseguer, Narciso Martí-Oliet
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
subobject; model categories; subtyping; categorical semantics; adjunction; first-order equational logic; theory presentations; operation overloading; subtype as implicit conversion; subtype as inclusion
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
03G30: Categorical logic, topoi
Related Items
Order-sorted algebraic specifications with higher-order functions, Specification and proof in membership equational logic