Up Next
Go up to Appendix A: Abstract Syntax
Go forward to Basic Specifications

Identifiers

ID              ::=   SIMPLE-ID
SIMPLE-ID       -- structure insignificant for abstract syntax
CoFI Note: S-1 --Version 1.3-- 25 April 1997.
Comments to cofi-semantics@brics.dk

Up Next