R Statman - 18th Annual Symposium on Foundations of …, 1977 - ieeexplore.ieee.org
Historically, the principal interest in the typed λ-calculus is in connection with Godel's
functional (" Dialectica") interpretation'of intuitionistic arithmetic. However, since the early …