Robert L. Constable. A Constructive Programming Logic. In IFIP Congress. pages 733-738, 1977.
@inproceedings{Constable77,
title = {A Constructive Programming Logic},
author = {Robert L. Constable},
year = {1977},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/Constable77},
cites = {0},
citedby = {0},
pages = {733-738},
booktitle = {IFIP Congress},
}