Logical Relations and the Typed lambda-Calculus

Richard Statman. Logical Relations and the Typed lambda-Calculus. Inf. Comput., 65(2/3):85-97, May/June 1985.

Abstract

Abstract is missing.