Axel Poigné. Cartesian Closure - Higher Types in Categories. In David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings. Volume 240 of Lecture Notes in Computer Science, pages 58-75, Springer, 1985.
@inproceedings{Poigne85a,
title = {Cartesian Closure - Higher Types in Categories},
author = {Axel Poigné},
year = {1985},
researchr = {https://researchr.org/publication/Poigne85a},
cites = {0},
citedby = {0},
pages = {58-75},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings},
editor = {David H. Pitt and Samson Abramsky and Axel Poigné and David E. Rydeheard},
volume = {240},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-17162-2},
}