Robert L. Constable. Partial functions in constructive formal theories. In Armin B. Cremers, Hans-Peter Kriegel, editors, Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings. Volume 145 of Lecture Notes in Computer Science, pages 1-18, Springer, 1983.
@inproceedings{Constable83:1,
title = {Partial functions in constructive formal theories},
author = {Robert L. Constable},
year = {1983},
researchr = {https://researchr.org/publication/Constable83%3A1},
cites = {0},
citedby = {0},
pages = {1-18},
booktitle = {Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings},
editor = {Armin B. Cremers and Hans-Peter Kriegel},
volume = {145},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11973-6},
}