[CoFI] Morphisms as first class citizens in CASL

[Didier Bert <Didier.Bert@imag.fr>]

   A draft note is available at :

	ftp://ftp.imag.fr/pub/SCOP/CASL/db-1.ps

and it has now been installed as Note L-6 in the CoFI archives, at

	http://www.brics.dk/Projects/CoFI/Notes/L-6/
	ftp://ftp.brics.dk/Projects/CoFI/Notes/L-6/


  It tries to give some hints for the introduction of morphisms as first class
citizens in CASL.

  If you have questions, comments, understanding problems, please send them.
to me.

Didier

Apologies: I'll be absent the next week, but present on the end of july.

----------------------------------------------------------------------------
Dr. Didier Bert			   http://www-lsr.imag.fr/users/Didier.Bert/
CNRS, Laboratoire LSR-IMAG	   Tel: 04 76 82 72 16	    +33 476 82 72 16
681, rue de la Passerelle 	   Fax: 04 76 82 72 87	    +33 476 82 72 87
BP 72 
38402 Saint-Martin-d'Heres CEDEX, France
----------------------------------------------------------------------------

[Language Design participants should also take a look at the semantics
of CASL version 0.97 "including recommendations for certain minor
changes to CASL".  As just announced in cofi-semantics, it is available at
	http://www.brics.dk/Projects/CoFI/Notes/S-6/
	ftp://ftp.brics.dk/Projects/CoFI/Notes/S-6/
--PDM]