псы в рапиде » from archive
Lambda Calculi with Types - Barendregt (ResearchIndex) - http://citeseer.ist.psu.edu/barendregt92lambda.html