Allan Ramsay. Theorem Proving for Constructive lambda-Calculus. In Stefano A. Cerri, Danail Dochev, editors, Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings. Volume 1904 of Lecture Notes in Computer Science, pages 69-79, Springer, 2000. [doi]
Abstract is missing.