Jacob’s ladder is a way of developing improved functionals. In this case the exchange correlation functional. It starts with LDA, then GGA, then the meta-GGAs, the fourth rung treats exchange exactly. Every step higher gives a more accurate functional, but is harder to compute.