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.
TEL was under development from 1986 to 1989.
The Programming Systems Lab does not provide any support for TEL.