Normed uniformly reflexive structures.

Published in: Lambda-Calculus and Computer Science Theory (1975)