A transfinite type theory with type variables.
Series: Studies in logic
Place of publication: Amsterdam
Notes: 6