Inclusions and subtypes II: higher-order case

DOI10.1093/logcom/6.4.541zbMath0931.03049OpenAlexW1967795995MaRDI QIDQ4895548

José Meseguer, Narciso Martí-Oliet

Publication date: 28 February 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

model categoriesinclusionimplicit conversionstructural subtypinghigher-order categorical semanticshigher-order equational logichomomorphism between modelsinclusive subtypes

Mathematics Subject Classification ID

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

Related Items

Specification and proof in membership equational logic, Strict coherence of conditional rewriting modulo axioms, An abstract formalization of correct schemas for program synthesis