Springer-Verlag LNCS 902 (1995)

by P Leleu
Venue:Proceedings of the International Conference on Typed Lambda Calculi and Applications