Lambda Calculi With Types, Handbook of Logic (1992)

by H P Barendregt
Venue:in Computer Science