Ramified type theory

From Free net encyclopedia