Typed Lambda Calculi and Applications (1993)

by Int'l Conf
Venue:of LNCS