uniformly reflexive structures (1975)

by Normed
Venue:In λ calculus and Computer Science Theory. C.Bohm ed., LNCS 37