Jacek Leszczylowski. An Experiment with Edinburgh LCF . In Wolfgang Bibel, Robert A. Kowalski, editors, 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Volume 87 of Lecture Notes in Computer Science, pages 170-181, Springer, 1980.
@inproceedings{Leszczylowski80:1,
title = {An Experiment with Edinburgh LCF },
author = {Jacek Leszczylowski},
year = {1980},
researchr = {https://researchr.org/publication/Leszczylowski80%3A1},
cites = {0},
citedby = {0},
pages = {170-181},
booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings},
editor = {Wolfgang Bibel and Robert A. Kowalski},
volume = {87},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-10009-1},
}