Normed uniformly reflexive structures (1975)

by H P Barendregt
Venue:Calculus and Computer Science Theory. Springer-Verlag Lecture Notes in Computer Science