Types for trees (1998)

by F Barbanera, M Dezani-Ciancaglini, F J de Vries
Venue:in "Proc. PROCOMET'98", (D.Gries and W.P.de Rover, Eds