RAMIFIED THEORY OF TYPES

ramified theory of types: translation

See types, theory of.