Types, Equations and Logic

If you can read this, your browser provides insufficient support for style sheets. The visual presentation of this document will suffer.
  • Main Home Page

  • Disclaimer

    TEL was under development from 1986 to 1989. The Programming Systems Lab does not provide any support for TEL.

    Further Information

    Denys Duchier