TOBIN-HOCHSTADT SAMUEL Y

Method and apparatus for expressing and checking relationships between types