← All problems
Unverified
Uniform Universal Generators
Call a closed term a uniform universal generator if there is one fixed nontrivial one-hole context such that, for every closed term ,
Does such an exist (i) in combinatory logic with weak reduction, or (ii) in lambda calculus with -reduction or -reduction?
