Subsorting and Higher-order Functions

  • Subsorting and Higher-order Functions
  • References
  • by Ole-Johan Dahl, Anne Haxthausen and Bernd Krieg-Brückner


    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, May 14, 1996