Prev Up Next
Go backward to Appendices:
Go up to Top
Go forward to Footnotes

4 One possibility for the underlying logic

In the following we will assume that proposal 2 in section 2.1 has been chosen. However, the theory can easily be adapted to proposal 1 by very few changes.

  • 4.1 A higher-order subsorted logic
  • 4.2 A generalised subsorted logic

  • CoFI Note: L-2 --Version 1.0-- 10 April 1997.
    Comments to ah@it.dtu.dk

    Prev Up Next