← All problems
Unverified
A Fixed-Point Combinator from B and ω
Let and be combinators with reduction rules
An applicative -term is a closed term formed from these two constants using application only. Does there exist such a term satisfying
for every term ?
