I have a question about how to turn lambda terms into binary numbers.I know the question is a bit vague but I need a way to this solution. Assuming that we have a lambda term F and G, the binary representations F’ and G’ of the term F(G) is F’ NAND G’.

I have seen the following expressions

K x y = λxy.x = λλ2 = 00001110 and λxyz.zxy = λλλ132 = 00001011 01110110

With no explanation on how it’s done or what it means.