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