Thierry Coquand, Thomas Ehrhard. An Equational Presentation of Higher Order Logic. In David H. Pitt, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Volume 283 of Lecture Notes in Computer Science, pages 40-56, Springer, 1987.
Abstract is missing.