Signature morphisms with compound identifiers in CASL

Michel.Bidoit1
Andrzej Tarlecki2

27 February 1997

This document is available for browsing on WWW, and in various formats for printing by FTP.

Abstract

We spent some time here in Paris discussing some details of the compound names and their effect on the definitions of signature morphisms etc in CASL -- as promised and planned. Unfortunately, things turns out more complex than we initially, rather naively thought.

Contents

  • 1 Details
  • Footnotes
    • This document was converted from LaTeX2e sources to HTML using Hyperlatex 2.2.
    CoFI Note: S-2 ---- 27 February 1997.
    Comments to tarlecki@mimuw.edu.pl