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}
}
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