← All problems
Unverified

Uniform Universal Generators

Call a closed term MM a uniform universal generator if there is one fixed nontrivial one-hole context C[ ⋅ ]C[\,\cdot\,] such that, for every closed term NN,

M↠C[N]. M \twoheadrightarrow C[N].

Does such an MM exist (i) in combinatory logic with weak reduction, or (ii) in lambda calculus with β\beta-reduction or βη\beta\eta-reduction?

Coming soon

Organizer

Boyuan Wang portraitBoyuan Wang
Minghan Wang portraitMinghan Wang
Bochao Li portraitBochao Li
Hongwei Hu portraitHongwei Hu