You might find discussions, pictures or files like this on the Usenet:
Lambda Calculus with Types (Perspectives in Logic)
Safety & Anonymity
Ad/Malware Free
Uncapped download speed
Download Now