Semantics Note S-5

[pdmosses@brics.dk]

The following Semantics Note could just as well have been a Language
Design Note, as the work reported was the basis for the CASL design
concerning the tricky business of subsorts.

  27 May 1997:
       Semantics Note S-5 has been installed. It provides a detailed
       analysis of the treatment of subsorts in CASL. 

In case there might be any difficulty accesing the WWW server, and as
time is very short, here's the FTP address:

  ftp://ftp.brics.dk/Projects/CoFI/Notes/S-5/

----   --------------------------------------------
\  /  | Peter D Mosses         <pdmosses@brics.dk> |
CoFI  | Common Framework Initiative  - Coordinator |
/  \  | WWW URL: http://www.brics.dk/Projects/CoFI |
----   --------------------------------------------