Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken. The Semantics of Reflected Proof. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 95-105, IEEE Computer Society, 1990.
@inproceedings{AllenCHA90,
title = {The Semantics of Reflected Proof},
author = {Stuart F. Allen and Robert L. Constable and Douglas J. Howe and William E. Aitken},
year = {1990},
tags = {semantics},
researchr = {https://researchr.org/publication/AllenCHA90},
cites = {0},
citedby = {0},
pages = {95-105},
booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA},
publisher = {IEEE Computer Society},
}