On Generalized Metric Spaces for the Simply Typed Lambda-Calculus | IEEE Conference Publication | IEEE Xplore