# Typed Homomorphic Relations Extended with Sybtypes

@inproceedings{Leavens1991TypedHR, title={Typed Homomorphic Relations Extended with Sybtypes}, author={Gary T. Leavens and Don Pigozzi}, booktitle={MFPS}, year={1991} }

- Published 1991 in MFPS
DOI:10.1007/3-540-55511-0_7

Typed homomorphic relations on heterogeneous algebras are generalized to allow relationships between elements in the carrier sets of different types. Such relations are needed for the model theory of incomplete, hierarchical specifications with subtypes. Typed logical relations are generalized similarly. These tools help give a simple model-theoretic account of subtyping among abstract data types as observed by terms of a simply-typed lambda-calculus with subtypes.

Highly Cited

This paper has 17 citations. REVIEW CITATIONS