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.
@inproceedings{CoquandE87,
title = {An Equational Presentation of Higher Order Logic},
author = {Thierry Coquand and Thomas Ehrhard},
year = {1987},
tags = {logic},
researchr = {https://researchr.org/publication/CoquandE87},
cites = {0},
citedby = {0},
pages = {40-56},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings},
editor = {David H. Pitt and Axel Poigné and David E. Rydeheard},
volume = {283},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-18508-9},
}