Hagino,A Typed Lambda Calculus with Categorical Type Constructors (1987)

by T
Venue:Category and Computer Science (Springer LNCS 283