Subsorting in CASL

by Maura Cerioli, Till Mossakowski, Bernd Krieg-Brückner, Anne Haxthausen, Peter D. Mosses, and Olaf Owe

Version 0.95 (2 December 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.

The HTML version of this note [MC++-1] is not yet available. Please refer to the DVI or compressed Postscript versions for now.


CoFI Study Notes, December 4, 1996