TEL
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.

Disclaimer

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