Leavens, Gary T. and Pigozzi, Don (1991) Typed Homomorphic Relations Extended with Subtypes. Technical Report TR91-14, Department of Computer Science, Iowa State University.
Typed Homomorphic Relations Extended with Subtypes
Gary T. Leavens and Don Pigozzi
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.
Contact site administrator at: email@example.com