Contents

Idea

A program. A construction of a term of some type.

References

Revised on August 11, 2013 17:08:48 by Urs Schreiber (89.204.135.38)