Introduction of morphisms as first class citizens in CASL

Didier Bert1

July 22, 1997

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.

Abstract

This note is a draft proposal for the introduction of morphisms as first class citizens in CASL. It intends to cope mainly with the recommendation 3.1.4 of the Referee Report on CASL[].

The rest of this document has not yet been converted to Hypertext. Please refer to the files in the FTP directory indicated above for the full document in alternative formats.

  • Footnotes
    • CoFI Note: L-6 --draft-- July 22, 1997.
    Comments to Didier.Bert@imag.fr