On Abstract Syntax

  • Summary
  • Introduction
  • Basic Concepts
  • Less Basic Concepts
  • Basic Specifications
  • Less Basic Specifications
  • by Peter D. Mosses

    Version 0.2 (20 June 1996)


    This document is part of the CoFI Study Notes. Any comments and corrections should be addressed to the author.

    It will be made available formatted for printing as compressed Postscript and DVI.

    The WWW version provides only a rough approximation (mostly generated automatically by Hyperlatex) to the symbols used in the formatted versions. Please inform pdmosses@brics.dk about any places where a better approximation could be made!

    N.B. All Study Notes are TENTATIVE first versions, unless explicitly marked otherwise.


    CoFI Study Notes, August 26, 1996