Please contact the maintainers of the page from which you came, https://paultaylor.eu/asdaxioms.html, and ask them to correct this link.
You may perhaps find what you require at
User manual for the ASD lambda calculus
or my home page.
Alternatively, you can search this site using Google: