You can find a definition at
http://burks.bton.ac.uk/burks/foldoc/53/126.htm
It's not entirely helpful if you don't know some lambda-calculus.