Lambda Calculi with Types (1992)

by Henk Barendregt , S. Abramsky , D. M. Gabbay , T. S. E. Maibaum , H. P. Barendregt
Venue:Handbook of Logic in Computer Science
Citations:518 - 4 self