paper on Typed Relations extended with Subtypes for anonymous ft
Date: Fri, 12 Jul 91 10:01:19 CDT
You can get a copy of our paper "Typed Homomorphic Relations
Extended with Subtypes" (by myself and Don Pigozzi) by anonymous ftp.
The paper itself (possibly slightly revised) will appear in the proceedings of
Mathematical Foundations of Programming Semantics '91,
to be published by Springer-Verlag, Lecture Notes in Computer Science series.
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.
If you'd like a preprint by anonymous ftp, read on....
How to retrieve ISU CS Dept. TR91-14.
0. Use anononymous ftp to elroy.cs.iastate.edu [22.214.171.124].
1. Change to the directory techreports/TR91-14.
2. Set binary mode on.
3. The directory contains 2 compressed dvi and 2 postscript files
for the report. The first is the TR cover sheet, the second is the real thing.
a. if you want the compressed postscript files
b. if you want the compressed dvi files
4. Uncompress these (use uncompress ...).
5. Print it however you do that.
Please let me know if you have any problems with the anonymous ftp stuff.
229 Atanasoff Hall, Department of Computer Science
Iowa State University, Ames, Iowa 50011-1040, USA
phone: (515) 294-1580