Indeed your S is not minimal: S = X(X(X(X X(X(X(X X))))))(X(X(X X) X) X) X of size 16.

One-point bases for λ-calculus
25
2
Johannes Bader
John Tromp
·Follow
Jan 14, 2022
--
Indeed your S is not minimal: S = X(X(X(X X(X(X(X X))))))(X(X(X X) X) X) X of size 16.
--
--
Written by John Tromp26 Followers
·1 Following
Dutch computer scientist, game player, puzzle lover, and recumbent biker.
Responses (1)
Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams