week2: comments about alpha-conversion, de Bruijn
[lambda.git] / szabolcsi-reflexive.jpg
szabolcsi-reflexive.jpg