Up Next
Go up to 4 Subsorting Constructs
Go forward to 4.2 Axioms

4.1 Signature Declarations

  • 4.1.1 Sorts
  • 4.1.1.1 Subsort Declarations
  • 4.1.1.2 Isomorphism Declarations
  • 4.1.1.3 Subsort Definitions
  • 4.1.2 Datatypes
  • 4.1.2.1 Alternatives
    • CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to cofi-language@brics.dk

    Up Next