Typed Homomorphic Relations Extended with Sybtypes.

Gary T. Leavens, Don Pigozzi

Browse the full MFPS paper archive.