On the equivalence of different presentations of Turner's bracket abstraction algorithm

Łukasz Czajka

Turner's bracket abstraction algorithm is perhaps the most well-known improvement on simple bracket abstraction algorithms. It is also one of the most studied bracket abstraction a…