Todd B. Knoblock, Robert L. Constable. Formalized Metareasoning in Type Theory. In Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA. pages 237-248, IEEE Computer Society, 1986.
@inproceedings{KnoblockC86,
title = {Formalized Metareasoning in Type Theory},
author = {Todd B. Knoblock and Robert L. Constable},
year = {1986},
tags = {type theory},
researchr = {https://researchr.org/publication/KnoblockC86},
cites = {0},
citedby = {0},
pages = {237-248},
booktitle = {Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA},
publisher = {IEEE Computer Society},
}