Lambda Calculi with Types, in Handbook of Logic (1992)

by H P Barendregt
Venue:in Computer Science, Vol