Prev Up Next
Go backward to About this document
Go up to Top
Go forward to 1 Basic Concepts

Part I: Basic Specifications

  • Basic Concepts
  • Basic Constructs
  • Subsorting Concepts
  • Subsorting Constructs

  • CoFI Note: S-1 --Version 1.3-- 25 April 1997.
    Comments to cofi-semantics@brics.dk

    Prev Up Next