1975]. Normed uniformly reflexive structures. In: l-calculus and Computer science theory (1975)

by H P Barendregt
Venue:C. Bhm ed., LNCS