Semantics

You can find here the denotational semantics of AROM:

• in a postscript format
• in a pdf format